language and semantics extension