Semantics (first Attempt)

Typemismatch