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, second rule. |
Description | Note kludges due to absence of negation ("pariwiseDstinct" predicate) |
SeeAlso | |
SpecRef | |
Premises |
Presentation Syntax | Forall ?Company ?Fleet ?Insurer1 ?Insurer2 ?Insurer3 ?Policy1 ?Policy2 ?Policy3 ?N1 ?N2 ?N3
(
satisfies(?Company, insuranceregs) :-
pred:numeric-greater-than(sizeOf(?Fleet), 200)
hasInsurance(?Company fleetinsurance ?Policy1 ?Insurer1)
hasInsurance(?Company fleetinsurance ?Policy2 ?Insurer2)
hasInsurance(?Company fleetinsurance ?Policy3 ?Insurer3)
covers(?Policy1 ?N1)
covers(?Policy2 ?N2)
covers(?Policy3 ?N3)
pred:numeric-greater-than(?N1 func:numeric-multiply(.25 risk(?Fleet)))
pred:numeric-greater-than(?N2 func:numeric-multiply(.25 risk(?Fleet)))
pred:numeric-greater-than(?N3 func:numeric-multiply(.25 risk(?Fleet)))
pairwiseDistinct(?Insurer1 ?Insurer2 ?Insurer3) |
XML | view RIF/XML |
|
Conclusion |
|