Telefona gönder: Formalizing natural languages :