Assertion list
storage container (subgroup of container ) → HasA
Results from Ascent++: 3
storage container → HasA → controlled internal atmosphere 0.34
storage container → HasA → right size 0.26
storage container → HasA → wheel 0.25