stage2

Labelling · Kotlin object Stage2Module · library prolog.argumentation.graph.labelling.stage2

The stage2 labellings (module stage2, an argumentLabellingMode): as cf2, with the stage labellings in each strongly connected component.

Predicate	Description
`locality/1`	Query mode: the label of an argument only depends on the arguments it depends on (directionality)
`argumentLabelling/0`	Each stage2 labelling in turn, left as the active context

locality(-Locality)

Query mode: the label of an argument only depends on the arguments it depends on (directionality)

argumentLabelling

Each stage2 labelling in turn, left as the active context.