set up denotational semantics