Formal Semantics, Linguistics (Malden, Mass.);, 2.