Reversing order of grounding: constraints first, then rules. First step to remove certain easy constraints like functional with only one unbound predicate, e.g. votes(anna, demo) = 1 - 0.9 = 0.1