90919293949596
Term term = parseDisjunctedTerms(tokens); if (term == null) break; terms.add(term); } while (tokens.canConsume("OR")); if (terms.isEmpty()) return null; return terms.size() > 1 ? new Disjunction(terms) : terms.iterator().next(); }