When you create the instances of the sub/supertype hierarchy (in OAL using create). You will also relate them (using the relate statement).
So, then when you access these instances, you can navigate across the association using the relationship number of that association (using the OAL select … related by statement).
The example model should demonstrate this. Let me know if you want pointers to other example models.