Derived defeat statuses
If one starts with just two defeat statuses (undefeated/defeated), it is possible to define multiple derived defeat statues:
- An argument is unambiguously undefeated if it is undefeated in all extensions
- An argument is unambiguously defeated if it is defeated in all extensions
- An argument is ambiguous if it is defeated in one, undefeated in another extension
- An argument is incompatible if it is in no extension
? Problem: Many variations are conceivable