A MODEL-FRAGMENT instance describes an aggregate (perhaps empty) of participating objects under certain conditions.