semantic
semantick check