User blog comment:DrCeasium/HAN: better definitions/@comment-5529393-20130620081444

Perhaps it would help in deciphering your notation if you described it using a procedural approach - so, starting from an arbitrary notation, describe how you choose what to reduce, using some sort of if/then procedure. I hope that makes sense.