Semantics function checking part