disjunctive (clauses)
Disj(CL)
clauses joined by grammatical disjunction,
§9-3
.