Package-level declarations

The attacks between the arguments of the graph (module attackBuilder): each argument against those that may attack it (see the module attackCandidates), as the module attackRelation states them, saved in the context (see the module graphStore, which reads them extended to the arguments built on the attacked one).

The statements whose arguments may attack an argument, or be attacked by it (module attackCandidates): the graph builders only check the attacks (see the module attackRelation) between an argument and the arguments for these statements, and query mode explores them.

When an argument attacks another one directly (module attackRelation): rebutting or undermining it through a conflict between their conclusions, rebutting or undermining it through a contrary premise, or undercutting its top rule. Whether the attack succeeds is up to the graph extensions (preferences, restrictions).