The evaluation of the consistency of quantified assertions