[simple] Small edits before video recording.
[simple] Minor changes before screen recording.
Merge branch 'nltkParser' of https://github.com/LTLMoP/LTLMoP into openworld