Lexpresso: a Controlled Natural Language
Maintaining knowledge about temporal intervals