(J83-394D): Use `->subsumptive' to add representative nodes.