| Attack | 
 This interface is the common interface for notions of attack between two arguments. 
 | 
| CanonicalUndercut | 
 This attack notion models the canonical undercut relation; A is defeated by B iff claim(B) =- \neg support(A). 
 | 
| Defeat | 
 This attack notion models the defeat relation; A is defeated by B iff claim(B) |- \neg support(A). 
 | 
| DefeatingRebuttal | 
 This attack notion models the defeating rebuttal relation; A is defeated by B iff claim(B) |- \neg claim(A). 
 | 
| DirectDefeat | 
 This attack notion models the direct defeat relation; A is defeated by B iff there is c in support(A) with claim(B) |- \neg c. 
 | 
| DirectUndercut | 
 This attack notion models the direct undercut relation; A is defeated by B iff there is c in support(A) with claim(B) == \neg c. 
 | 
| Rebuttal | 
 This attack notion models the rebuttal relation; A is defeated by B iff claim(B) == \neg claim(A). 
 | 
| Undercut | 
 This attack notion models the undercut relation; A is defeated by B iff there is C subset of support(A) with claim(B) == \neg C. 
 |