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