Theoretically, − → E and ← − E are complement to each other .
as a number may occur several times and represent different facts in a document, we add a distinct node for each occurrence in the graph to prevent potential ambiguity.