adjacent disjunction