Question 1

Considering that the abstract syntax of the language has already been provided, the only missing components for the denotational semantics are the semantic algebras and the valuation functions.