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