Penalize Removing Non-Assumptions

Prioritize removing assumptions over other rules. Notice that assumptions passed in the command line have a special tag.

penalize-non-assumptions-removed.lp

Source

% Rule is in the reference program but not in the foil and was not an assumption
cost(non_assumptions(R), 10, 1) :- not tag(R,assume(_)), program(R, ref), not program(R, foil).

Encoding

Rule is in the reference program but not in the foil and was not an assumption

cost(non_assumptions(R), 10, 1) :- not tag(R,assume(_)), program(R, ref), not program(R, foil).