Numerical Entailment

means that the conjunction of any i of the antecedents implies the conjunction of the consequents. In other words, if i or more of the antecedents are true, then all of the consequents are true. A numerical-entailment rule is built with the SNePSUL command:

 

      		(assert 		thresh i

      		        		&ant 		()

      		        		cq    		())

 
• Use