META-LABEL-NAME : FLAG

META-LABEL-NAME is a flag or parameter.
The prefix for names of meta labels (from wffops).
META-LABEL-NAME takes values of type SYMBOL.
It belongs to subjects INTERNAL-NAMES .
Its default value is ML
Its current value is ML.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage