[TxMt] formal definition of scope selector syntax?