Model: A simple model
\(\mathcal{M} = \langle D, I\rangle\) with domain:
\[\begin{align*} D = \{a,b,c,d,e\} \end{align*}\]Interpretation function:
\[\begin{align*} I(\con{anna}) &= a\\ I(\con{ben}) &= b\\ I(\con{cara}) &= c\\ I(\con{student}) &= \{a,b\}\\ I(\con{linguist}) &= \{b,c\}\\ I(\con{book}) &= \{d,e\}\\ I(\con{admire}) &= \{(a,b),(b,c),(c,d)\}\\ I(\con{read}) &= \{(a,d),(b,e),(c,d),(a,e)\}\\ I(\con{recommend}) &= \{(a,d),(c,a),(c,d)\}\\ \end{align*}\]Environment:
\[\begin{align*} g=\lbrace (x,a), (y,b)\rbrace \end{align*}\]