RH semantics