In this article, we shall use the notion of semantic dependency graph to compare our framework with Hole Semantics (Section 7.3).
in the rest of this section, we formally define this notion and prove that the two formulations of coherence are in fact equivalent.