DJFORM : EDOP

DJFORM is an editor command.
Converts the given JFORM to GWFF. May not work with skolemized jforms.
 
The command format for DJFORM is:

<Ed>DJFORM <<JFORM>>
<<JFORM>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage