I think the gist of it is as follows:
"If X is a generic type, and an injection point, producer method, producer field, disposer method or observer method de- clared by X is inherited by Y, and the declared type of the injection point, producer method, producer field, disposed para- meter or event parameter contains type variables declared by X, the type of the injection point, producer method, producer field, disposed parameter or event parameter inherited in Y is the declared type, after substitution of actual type arguments declared by Y or any intermediate class that is a subclass of X and a superclass of Y."
That is not a paragraph... that is one sentence.