An ordered-triple theory of language