UCR 4d6

Test Type	PositiveEntailmentTest
Contributor	Leora Morgenstern
Status	InDevelopment
Record
Dialect	Abridged Presentation Syntax
Purpose
Description	From UCR doc, 4.6
SeeAlso
SpecRef
Premises	Presentation Syntax holdsAt(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). XML view RIF/XML
Conclusion	Presentation Syntax holdsAt(ineffective(bob, standardmeds) now). XML view RIF/XML