Fig 1(b) depicts an example of a shortest path on the WKG for a statement that yields a low truth value. Note that in this specific formulation we disregard the semantics of the predicate, therefore we are only able to check statements with the simplest predicates, such as “is a”; negation, for instance, would require a more sophisticated definition of path length. Alternative definitions of τ(e) are of course possible. Instead of shortest paths, one could use a different optimization principle, such as widest bottleneck, also known as the ultra-metric closure [27], which corresponds to maximizing the path evaluation functionWu: