UCR 4d5Part1

From RIF
Revision as of 15:41, 30 December 2008 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorLeora Morgenstern
StatusInDevelopment
Record
DialectAbridged Presentation Syntax, to be changed soon to Full Presentation Syntax
PurposeFrom UCR doc, 4.6, first rule.
DescriptionNote kludges due to absence of negation ("distinct" predicate)
SeeAlso
SpecRef
Premises
Presentation SyntaxForall ?Doc ?Company ?Employee1 ?Employee2 ( compliant(?Doc) :- taxScheduleDoc(?Doc eurent) businessOf(eurent carrental) employeeOf(?Employee1 eurent) employeeOf(?Employee2 eurent) levelOf(?Employee1 eurent manager) levelOf(?Employee2 eurent manager) distinct(?Employee1 ?Employee2) electronicSig(?Employee1 ?Doc) electronicSig(?Employee2 ?Doc) ) taxSchedule(doc2323 eurent) employeeOf(jones eurent) employeeOf(smith eurent) levelOf(jones eurent manager) levelOf(smith eurent manager) distinct(jones smith) electronicSig(jones doc2323) electronicSig(smith doc2323)
XMLview RIF/XML
Conclusion
Presentation Syntaxcompliant(doc2323)
XMLview RIF/XML