Quantification is evaluated to return a strong verdict for
non-propositional monitors