Stav dette: Formalising natural languages with NooJ