fixed fallacy code after merge.
extracted Amin's (@amsa) text->FOL code into new file called TextToFOL.hs to have fewer merge conflicts and reflect modularity in file structure