> How do we detect tags, as opposed to > legitimate uses of the comparison > operators: > > [Maths teacher speaking] Therefore we have > 10<x or 20>x. > I think first find the srt specification, list all the valid <tag>s will be rational.