added support for disjunction search