Splitting

A semantics σ\sigma satisfies Splitting iff for every splitting (F1,F2,R3)(F_1, F_2, R_3) of FF (no attacks from F2F_2 into F1F_1), the extensions of FF are exactly the sets E1∪E2E_1 \cup E_2 with E1∈σ(F1)E_1 \in \sigma(F_1) and E2E_2 an extension of F2F_2 after removing what E1E_1 attacks.

Reference

Dvořák, W., Ulbricht, M. & Woltran, S. (2022). Recursion in Abstract Argumentation is Hard — On the Complexity of Semantics Based on Weak Admissibility. Journal of Artificial Intelligence Research, 74, pp. 1403–1447.