Add parseSpec.py: new NLTK-based structured English parser
Add feature-grammar file
Fixing several things for integration with LTLMoP
add NTLK parser option
grammar definition for set/reset and toggle in se-nltk was missing SPEC tag
add test script into lib.parseSpec
typo in lib.parseSpec
change se-nltk grammar file path ref
modify se-nltk regexes to allow leading whitespace, case-insensitivity
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
Fix correlations to follow correct order
Line-by-line spec testing
Prefix to infix syntax conversion is now ACTUALLY fixed
Add PROP nodes to some LIVENESS productions
Reorder line processing so we only have to compile the grammar once
Fix construction of 'corresponding' sentences and move semantics of memory macros from post-processing into grammar