NON-ATOMIC : WFFOPNON-ATOMIC is a wff operation.
Tests whether a wff is not atomic, that is, negated, quantified or the result of joining two wffs with a binary connective.
The calling scheme for NON-ATOMIC is:
The result is of type BOOLEAN.
The arguments have the following meaning:
GWFF : Wff
TPS documentation homepage