18.2.3 subtyping constraints

[Rafkind, Jon]

I think the following sentence could be made a little clearer.

  If T is a parameterized class type, C<A1, ..., An>, then let C<B1, ..., Bn> the parameterization of C that is a supertype of S (or S itself); if no such parameterization exists, the constraint reduces to false.

Here is my attempt:

  If T is a parameterized class type, C<A1, ..., An> then find a supertype of S (or choose S itself) with the same type C whose parameterization is C<B1, ..., Bn>; if no such parameterization exists the constraint reduces to false.