Argumentation stages for unstructured arguments
For unstructured arguments, a defeat status assignment that assigns a defeat status to the arguments in a set A is an argumentation stage if it holds that:
An argument ? in A is defeated if and only if there is an undefeated argument ? in A that attacks ?.
For structured arguments, this definition does not suffice: arguments can also be defeated indirectly.