"Boolean semantics for natural language" - читать интересную книгу автора (Keenan E.L., Faltz L.M.)