Social Model

A social model of $F$ is a mapping $M_S \colon A \to L$ with $M_S(a) = \tau(a) \curlywedge \neg \big(\curlyvee_{b \in a^-} M_S(b)\big)$ for all $a \in A$, where $S = \langle L, \tau, \curlywedge, \curlyvee, \neg \rangle$ is an SA-semantics and the empty aggregate is $\bot$.