[rules = quant].
'Rules: quant.                   Location: SPADE$CHECKER:QUANTIF.RUL'.
''.
'Some simple general properties of quantified formulae, which may be'.
'used to simplify certain quantified predicates before application of'.
'the built-in Checker commands unwrap and instantiate.'.
