minimized grounding of possible(... predicate
final version of factor rules