Lexical Semantics and Model Theory: Together at Last?