refined semantics