pairs of input and output, E = {(x (i) , y (i) ) ∈ X × Y : i = 1 .
in line 3, graph traversal queries (using the ∼> operator) are applied to use an edge and go from a sentence node to all contained predicate nodes in the sentence and then apply the constraint to all of those predicates.