Warning:
This wiki has been archived and is now read-only.
UCR 4d5Part1
From RIF
Test Type | PositiveEntailmentTest | ||||
---|---|---|---|---|---|
Contributor | Leora Morgenstern | ||||
Status | InDevelopment | ||||
Record | |||||
Dialect | Abridged Presentation Syntax, to be changed soon to Full Presentation Syntax | ||||
Purpose | From UCR doc, 4.6, first rule. | ||||
Description | Note kludges due to absence of negation ("distinct" predicate) | ||||
SeeAlso | |||||
SpecRef | |||||
Premises |
|
||||
Conclusion |
|