<<< native [ EIdentifier "a" , ESymbol Rel ">" , EIdentifier "b" , ESymbol Rel "or" , EIdentifier "a" , ESymbol Rel ">" , EIdentifier "c" ] >>> eqn a > b roman{" or "} a > c