PRIM-ALL : MATEOP
PRIM-ALL is a mating-search command.
Apply primitive substitutions at all outermost expansion nodes.
The command format for PRIM-ALL is:
<Mate>PRIM-ALL <<GWFF>>
<<ETREE>>
The result replaces the current top node.
TPS documentation homepage