Formalising Natural Languages with NooJ