Addit semantic stack and semantic functiions.