The alignment variable may be empty, a v = ∅, while non-empty values must obey the tree constraints.
the span must be a subspan of its ancestor, a v ⊆ a p , subsume its descendants, a v ⊇ a d , and not overlap its siblings, j ∈ a s , ∀j ∈ a v .