model,15-5-C88-1066,ak | </term> that checks the fulfillment of <term> | logical well-formedness conditions | </term> on <term> trees </term> . / Soames 1979 | #18187 Special attention is given to the part of the parser that checks the fulfillment of logical well-formedness conditions on trees. |