static semantics