Function grounded_justified_rules 

pub fn grounded_justified_rules(
    rules: &[DefeasibleRule],
    sup: &[(u64, u64)],
) -> HashSet<u64>

Resolve a defeasible rule set against the Dung grounded extension: returns the set of rule ids whose conclusion is justified (skeptically), excluding defeaters. Conflicting rules attack mutually unless the superiority relation (or strictness) orients the attack one way.