Reinstatement

A semantics $\sigma$ satisfies Reinstatement iff for every extension $E \in \sigma(F)$ and argument $a$ : if $E$ defends $a$ , then $a \in E$ .

Reference

Baroni, P. & Giacomin, M. (2007). On Principle-Based Evaluation of Extension-Based Argumentation Semantics. Artificial Intelligence, 171(10–15), pp. 675–700.