Գրեք սա: Formalising natural languages with NooJ