FIRST-ORDER-MODE-PARSE : FLAGFIRST-ORDER-MODE-PARSE is a flag or parameter.
If T, every letter by itself is a symbol for the parser,
with the exception of keywords like FORALL, AND etc.,
which can be in mixed case. If NIL, symbols must be separated by
spaces (or brackets, dots, etc.).
FIRST-ORDER-MODE-PARSE takes values of type BOOLEAN.
It belongs to subjects PARSING .
Its default value is NIL
Its current value is NIL.
TPS documentation homepage