Definition 2 then requires that grammar to also assign probability 1 to the consequent mapping ( x, y).
the grammar construed categorically succeeds on the consequent mapping, as required by the original definition 1 of categorical T-orders.