If natural language itself admits formal semantic treatment via lambda abstraction and type-theoreti...