Pātuhitia tēnei: Formalising natural languages with NooJ