\documentclass{article}

\usepackage{fullpage}


\begin{document}
\title{CSCI 2951K Topics in Grounded Language for Robotics: Semantics Problem Set}
\author{TODO: Your name here}
\date{September 10, 2013}
 \maketitle

First read the assigned sections in Heim and Kratzer.  Then, fill in
your name in the author block.  Then, for practice in writing down
formal semantics, fill in the semantics of the following table of
words.  Send me email at stefie10@cs.brown.edu with the tex file and
the generated pdf showing the complete table by 5pm on Wednesday,
September 11, 2013.  We will go over the answers in class on Thursday.
\newline
\newline
\begin{tabular}{cc}
\hline
Word          &  Meaning\\
\hline
touch
&  $\lambda x \in D_e . \left[ \lambda y \in D_e .  y \mbox{ touched } x  \right] $  \\
John  & $\lambda x \in D_e . x\mbox{ is John}$  \\

pick up 
&
% TODO: fill in the semantics for ``pick up'' here.
\\

red
& 
% TODO: fill in the semantics for ``red'' here.
\\

block
& 
% TODO: fill in the semantics for ``block'' here.
\\

the
&
% fill in the semantics for ``the'' here.
\\
\hline
\end{tabular}

\end{document}
