Conflict-Freeness (ADF)

A three-valued interpretation $v$ of an ADF is a conflict-free model iff for every $a \in A$, $v(a) = \mathsf{t}$ implies $w(C_a) = \mathsf{t}$ for some completion $w \in [v]_2$, and $v(a) = \mathsf{f}$ implies $w(C_a) = \mathsf{f}$ for some $w \in [v]_2$.