"The direct supertypes of the type C , where Ti,1≤i≤n, is a type, are" . . . .