Disjunctive Information from Negative Guards 2
From RIF
Revision as of 23:38, 2 February 2010 by StellaMitchell (Talk  contribs)
Test Type  PositiveEntailmentTest  

Contributor  Jos de Bruijn  
Status  Obsolete  
Record  October 7, 2008 Telecon  
Dialect  BLD  
Purpose  Test for entailment of disjunctive information from negative guards (2)  
Description  There must be at least one object in the extension of ex:p. By the first rule, it would be inconsistent if the object were not an integer, so it is an integer. By the second rule, it could be inconsistent if the number were less than 1 or greater than 3. We can thus conclude that the extension of ex:p contains the number 1, the number of 2, the number 3, or any combination of them.  
SeeAlso  Disjunctive_Information_from_Negative_Guards  
SpecRef  BLD#Logical_Entailment DTB#Negative_Guard_Predicates_for_Datatypes  
Premises 


Conclusion 
