STRING-BOUND-VAR : GETGWFFTYPE

STRING-BOUND-VAR is a wff reference format.
bound variable: variable bound to a string.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage