ltlmop-parser A new parser for the LTLMoP toolkit using a context-free grammar with semantic features