Fixed exact semantics names