that can be a part of a well-formed parse 2 ), c A is entailed by c (i → j) for every i → j ∈ A.
if each arc in a tree-compatible set is individually reachable from configuration c, then that Shift: Right-Arc: only if k | k → j ∈ A (single-head) and j → * i ∈ A (acyclicity).