Subject: Lewis Carrol in FOL
From: "William J. Rapaport" <rapaport@buffalo.edu>
Date: Sat, 3 Oct 2009 14:46:16 -0400 (EDT)

For some more examples of translation of English sentences into FOL
propositions, take a look at:
"Translation of Lewis Carroll into First-Order Logic"
at:

http://www.cse.buffalo.edu/~rapaport/191/F09/logic.html#lewiscarroll

or directly at:

http://www.cse.buffalo.edu/~rapaport/191/S09/lewiscarroll.html