Interpreting RSets, SSets and Features by Denotational Semantics