Further work on correlations
Fix function for converting prefix FOL to infix LTL
Add parsing of quantification with each
Fix prefix to infix conversion, small capitalization change
Add little test script for NLTK parser