other,18-3-P01-1047,bq | <term> formal computation </term> of the <term> | logical form | </term> . <term> Techniques for automatically | #2009 Here we emphasize the connection to Montague semantics which can be viewed as a formal computation of the logical form . |