(B-B84C): Use `->subsumptive' to separate representative nodes; add