LINE-NUMBER : GETGWFFTYPE

LINE-NUMBER is a wff reference format.
Number : the assertion of a line in the current outline.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage