Section 2.2.2.5.2. says getTypeDefinition() should return Object-type including all property types. Section 2.1.3.3 mentions "Besides these object-type attributes, an object-type definition SHOULD contain inherited property definitions and zero or more additional property definitions." and section 2.1.3.3.2. introduces the inherited attribute.

I still think that the spec would be better readable if also section 2.2.2.5.2 would explicitly mention whether to include inherited properties or not or if it would refer to section 2.1.3.3. for further explanation.