Thus T[O] would transduce an input 4 to <ord>fourth</ord>; these tags will be used subsequently to induce general class rules from examples involving particular class instances.
we can then define a mapper from the markup to the tagged representation as: we define the Map as the concatenative closure of the taggers for each of the known types.