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 >> .