Assertion list
storage container (subgroup of container ) → UsedFor
Results from Ascent++: 1
storage container → UsedFor → an assortment of reason 0.25