Package-level declarations

The complete labelling with burdens of persuasion (module bp_grounded_complete, an argumentLabellingMode, ICLP): the partial labelling, then the grounded labelling of its UND arguments, repeated until nothing changes.

The grounded labelling with burdens of persuasion (module bp_grounded, an argumentLabellingMode, ICAIL): as the grounded one, but an argument for a statement under a burden of persuasion that is not IN is OUT rather than UND.

The partial labelling with burdens of persuasion (module bp_grounded_partial, an argumentLabellingMode, ICLP): each argument labelled IN*, OUT* or UND* by the conditions of the burdens on its conclusion and its complement.