From an empirical point of view, we conduct many new experiments that examine both the local entailment classifier as well as the global algorithm.
in B we see that ILP-Global takes into consideration the global interaction between the four nodes and other nodes of the graph, and decides to split this strongly connected component in two, which improves the precision of ILP-Global.