Занимаясь переводом "The Programming Language Oberon-07 (Revised Oberon)" наткнулся на такое описание.

6.4. Pointer types
Variables of a pointer type P assume as values pointers to variables of some type T. It must be a record type. The pointer type P is said to be bound to T, and T is the pointer base type of P. Pointer types inherit the extension relation of  their base types, if there is any.If a type T is an extension of T0 and P is a pointer type bound to T, then P is also an extension of P0.

я так понимаю последнее предложение должно быть примерно таким:

If a type T0 is an extension of T and P0 is a pointer type bound to T0, then P0 is also an extension of P.

Иначе поскольку P0 не встречается в контексте, то не очень понятно о чём речь.
Кто что думает по этому поводу. Это описка?