temporal ontology and temporal reference marc moens and mark steedman .
A temporal logic for reasoning about processes and plans