Assertion list
metal shed (subgroup of shed ) → HasA
Results from Ascent++: 1
metal shed → HasA → thin walls 0.23