hyperintensionality
A hyperintensional theorem prover for rapidly prototyping modular semantic theories