Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)