ADD-DPAIR : UNIFOP

ADD-DPAIR is an unification command.
If the disagreement set already exists, insert a disagreement pair at
the front. Else create a new disagreement set consisting of this dpair only.
 
The command format for ADD-DPAIR is:

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage