The logic of English predicate complement constructions Lauri Karttunen author 1971-12 text Feasibility Study on Fully Automatic High Quality Translation University of Texas conference publication karttunen-1971-logic https://aclanthology.org/1971.earlymt-1.8/ 1971-12 119 155