When a symbol is dragged onto a predicate, you get the link plus a link of the 
same predicate to a blank noe. (This latter cannot be deleted, becausde it 
involves a blank node!)