Assertion list
storage box (subgroup of box ) → HasProperty
Results from Ascent++: 2
storage box → HasProperty → expensive 0.16
storage box → HasProperty → perfect 0.16