The nodes and edges must contain names that are not breaking at the end of lines. There are missing no-break spaces in formal part of Sec.4.2.2:
Note, however, that axioms like – which given a graph such as sub-taxon ofHominini entails ...
this should be:
Note, however, that axioms like – which given a graph such as sub-taxon ofHominini entails ...