Describir: The evaluation of the consistency of quantified assertions.