Fixed semantics-mappings