Fixed one bug with "all" quantifier, still some left.