Software Functional Programming with Haskell: FPH.hs Formal Syntax for Fragments: FSynF.hs Formal Semantics for Fragments: FSemF.hs Natural Language Inference Engine: InfEngine.hs Main module for (compiled version of) Natural Language Inference Engine: Main.hs Example knowledge base, in NL text: kb.txt Model Checking with Predicate Logic: MCWPL.hs An example model: Model.hs The Composition of Mean