| 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 |
|
|---|