Formal Semantics of natural language (1975)