Author: Cambridge Colloquium on Formal Semantics of Natural Language 1973.