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.