Assertion list
storage shed (subgroup of shed ) → HasProperty
Results from Ascent++: 1
storage shed → HasProperty → large 0.31