Constraint-on is the inverse of has-constraint: it maps constraint objects to the components to which they have been applied.