Something I wrote for fun several years ago. Operates over syntactic trees of sentences. Lexicon of lambda expressions and test sentence trees are found inside the source file. Some day I'll have to reread the code and remind myself how it works. Maybe extend it. Pull requests welcome.