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