UCR 4d5Part1




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
Last modified on 30 December 2008, at 15:41