\begin{frame}[t]
  \frametitle{Another Simple Model}
  \examplemodel
  \bigskip
  \bigskip
  

  Formal definition of the model $\model{\amodel}$:  
  \begin{itemize}  
   \item  
     domain $\model{\adomain}= \setexp{a_1,a_2,a_3}$
   \item  
     $\intin{\sunpred{\black{R}}}{\model{\amodel}} 
        = 
      \setexp{ \pair{a_1}{a_2}, \pair{a_1}{a_3}, \pair{a_3}{a_3} }$   
   \item  
     $\intin{\sunpred{\mediumblue{P}}}{\model{\amodel}} = \setexp{a_1,a_2}$
   \item  
     $\intin{\const{\orange{b}}}{\model{\amodel}} = a_2$
   \item 
     $\intin{\const{\forestgreen{c}}}{\model{\amodel}} = a_3$.
  \end{itemize}    
\end{frame}