Pātuhitia tēnei: Formalizing natural languages :