Fix bug preventing correspondence between empty groups
Merge branch 'nltkParser' of https://github.com/LTLMoP/LTLMoP into nltkParser
Merge branch 'nltkParser' of https://github.com/LTLMoP/LTLMoP into openworld
[simple] Config file for renamed initial region mailRoom.
[simple] Rewrote .spec to match paper, Section VI.