[RepresentationalR,NominalR]