S
semantic analysis