RM-DPAIR : UNIFOP

RM-DPAIR is an unification command.
Remove a disagreement pair from a disagreement set.
 
The command format for RM-DPAIR is:

<Unif>RM-DPAIR NAME ELT1 ELT2
"SYMBOL" "GWFF" "GWFF"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage