example where unnecessary rules are grounded
example where unnecessary rules are grounded

peschue/clingo,peschue/clingo,potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo,potassco/clingo,potassco/clingo