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