UCR 4d6

From RIF
Revision as of 17:23, 20 October 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
Purpose
DescriptionFrom UCR doc, 4.6
SeeAlso
SpecRef
Premises
Presentation SyntaxholdsAt(ineffective(?Patient ?Treatment) ?T) :- holdsAt(hasDisease(?Patient "diabetesTypeII") ?T) holdsAt(elevated(levelOf(?Patient "hbA1c" ?Level)) ?T) holdsAt(treatmentPlan(?Treatment ?Patient) ?T). holdsAt(hasDisease(bob, "diabetesTypeII") now). holdsAt(elevated(levelOf(bob "hbA1c" levelnow)) now). holdsAt(treatmentPlan(standardmeds bob) now).
XMLview RIF/XML
Conclusion
Presentation SyntaxholdsAt(ineffective(bob, standardmeds) now).
XMLview RIF/XML