Strictly speaking, the AG definition in [ECH+92] would not allow a particular node to be linked to any one of a set of target nodes. This sort of property is useful if there is some sort of run-time flexibility about precisely what a pointer links to, but there is a some restriction on the set of possible target nodes. However, since the formalism does allow multiple path names for the same node, we can link one node to many others. We just choose to interpret this as a number of different nodes rather than many names for the same node.