model,15-5-C88-1066,ak </term> that checks the fulfillment of <term> logical well-formedness conditions </term> on <term> trees </term> . / Soames 1979
hide detail