LOCATEUNWFFS : WFFOPLOCATEUNWFFS is a wff operation.
Return a list of messages, each the describing the error
in a minimal ill-formed subparts of the argument.
The calling scheme for LOCATEUNWFFS is:
The result is of type MSGLISTLIST.
The arguments have the following meaning:
UNWFF : unwff
TPS documentation homepage