S 9 stipulates two nodes, typed nagr and vagr, with the intention that these nodes be coalesced with the two anonymous nodes of S 1 .
the 'merge' operation defined in the previous section cannot achieve this goal, since the two anonymous nodes in S 1 have different attributes from their corresponding typed nodes in S 9 .