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:Or it could be possible to retain the original directionality of edges and have a directed WKG instead of an undirected one. As described next, we evaluated alternative definitions of τ(e) and found Eq 1 to perform best.