SuperiorityModule

When an argument is superior to another one (module superiority), by the preferences between their rules (sup(Rule, Other) in the context). Two arguments are compared on their defeasible rules and premises (their info, see the module argument): the last defeasible rules or all of them (orderingPrinciple last or weakest), compared as sets by orderingComparator (elitist, democrat or normal).