No, with my proposal in post 1 and 4 :
each way of an NH would be only in one normal relation (as PlaneMad prefers). This relation combines all ways of the NH in a single state. And these relations of the states are members of a superroute relations.