[TxMt] Re: formal definition of scope selector syntax?