semantics

(1)