QUANTIFICATIONAL : TACTIC

QUANTIFICATIONAL is a tactic.
As defined for use NAT-DED:
(ORELSE UGEN-TAC (THEN ABU-TAC UGEN-TAC) EGEN-TAC UI-TAC)

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage