Definition, syntax and semantics