Added reset calls after checking one set of conjuncts.