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