Defeat statuses and argumentation stages
Since in a stage each argument is defeated or undefeated, the following two properties are equivalent:
An argument ? in R is defeated if and only ifthere is an undefeated argument ? in R that attacks ?.
An argument ? in R is undefeated if and only ifany argument ? in R that attacks ? is defeated.