Logical Form and Linguistic Theory by Robert May