The predicate entailment relation, described by our entailment graphs, is typically from a "semantically specific" predicate to a more "general" one.
intuitively, the topology of an entailment graph is expected to be "tree-like."