empty quantification with any and all now reduce to FALSE and TRUE respectively
Merge branch 'nltkParser' of https://github.com/LTLMoP/LTLMoP into openworld
Merge branch 'openworld' of github.com:smaniato/LTLMoP into openworld