3.2 What are we doing in Semantics?

• What is the semantics of the following sentence?

  Tomorrow, every student will write an Oz-program.

  Its semantics may be given by the following logic formula:

  tomorrow(every x (student(x) ->  
                  exists y (oz_program(y) &
                            write(x,y))))

• If there is time than we will built a underspecified semantics for a unification grammar.

• We need an implementation of the lambda-calculus in Oz and also a solver for dominance constraints.