text: The formalism 's intended usage is to relate expressions of natural languages to their associated << semantics >> represented in a [[ logical form language ]] , or to their translates in another natural language ; in summary , we intend it to allow TAGs to be used beyond their role in syntax proper .