UCR 4d5Part2

From RIF

Revision as of 15:43, 30 December 2008 by StellaMitchell (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Retrieved from "http://www.w3.org/2005/rules/wiki/UCR_4d5Part2"
Personal tools