DefeasibleAllPrefModule

The preferences between rules as conclusions of the theory, taken together (module defeasibleAllPref, a graphExtension): as defeasiblePref, but the attack argument is attacked by an argument for all the preferences invalidating it, preference(Preferences), supported by the arguments for each of them.