TEMPOR-CNL-WIP TEMPOR: A CNL for reqirements for control software. Initial classification of LTL formulas is here Grammar is here