SUBFORMULAS : EDOP

SUBFORMULAS is an editor command.
Find all subformulas of a given type in a wff.
 
The command format for SUBFORMULAS is:

<Ed>SUBFORMULAS <<GWFF>> TYPE
<<GWFF>> "TYPESYM"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage