Predicates And Quantifier Order