Whereas troponomy rules (Fellbaum 1998a) such as X walks → X moves can be perceived as being almost always correct, rules such as X coughs → X is sick might only be true with some probability.
chaining a few probabilistic rules such as A → B, B → C, and C → D might not guarantee the correctness of A → D. Because in focused entailment graphs the number of nodes and diameter 4 are quite small (for example, in the data set we present in Section 5 the maximal number of nodes is 26, the average number of nodes is 22.04, the maximal diameter is 5, and the average diameter is 2.44), we do not find this to be a problem in our experiments in practice.