(J0-5128): Use `->subsumptive' to separate representative nodes.