natural logic in Haskell

Refer to: van Eijck 2005, "Natural Logic for Natural Language"