modified syntax of qe command to allow the number of quantifiers to
eliminate