[TxMt] A simple grammar problem