\begin{frame}{Translating into Predicate Logic with Equality} \begin{itemize}\setlength{\itemsep}{0.4ex} \item \sentence{Jan has more than one bicycle} \item \sentence{Jan has (precisely) two bicycles} \item \sentence{Jan has two bicycles, but he just uses one of them} \item \sentence{Everybody votes for at most one person} \item \sentence{Only Rutte en Samsom vote for themselves} \item \sentence{All members of parliament except for Rutte} \item \sentence{Apart from Mary, Jan also has other sisters that play chess} \end{itemize} \pause\medskip \begin{goal}{} On the following slides we give the translations. \medskip Thereby \begin{itemize} \item translation key, \item domains, and \item interpretations \end{itemize} will be self-explanatory (and left implicit). \end{goal} \end{frame}