Logical types for natural language | lit.salon