UCR 4d5Part2

From RIF
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, second rule.
DescriptionNote kludges due to absence of negation ("pariwiseDstinct" predicate)
SeeAlso
SpecRef
Premises
Presentation SyntaxForall ?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)
XMLview RIF/XML
Conclusion
Presentation Syntax
XMLview RIF/XML