"Otherwise R is a set determined by the type attribute" . . . .