The shortest-path-principle needs elaboration. When the alignments of the target
parent node comprise several source locations, inferred navigation is not the union
of all navigations from any parent alignment to any source alignment. To illustrate
the problem, let us assume that the alignments of publication comprise
book and journal, and the alignment of child location
title comprise title under book and
journalTitle under journal. Given a parent
publication with a source context consisting of a book
node, we want to rule out the shortest path from book to
journalTitle. The example shows that the shortest-path-principle
requires further elaboration which is work in progress.