Part-Slot-of is the inverse of has-subpart-slot: it maps subpart slots to the components to which they have been applied.