Template:Disjunctive definition