Allow something like `rule(sum(mpg) <= 1000)`.
Allow something like
rule(sum(mpg) <= 1000).