Talk Towards a Formal Semantics for TMQL