list_quantifiers
    check=parse 'x is 2; if all 0,1,2 are smaller 3 then increase x'