| 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 |
| Presentation Syntax | Forall ?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) |
|---|
| XML | view RIF/XML |
|---|
|
|---|
| Conclusion |
|
|---|
