Chris@0: /*  Saved settings
Chris@0:     Date: Tue Aug  5 21:42:15 2008
Chris@0: */
Chris@0: 
Chris@0: 
Chris@0: %	Default entailment rules applied
Chris@0: setting(serql_parms:default_entailment, lit).