Assertion list
metal shed (subgroup of shed ) → HasProperty
Results from Ascent++: 1
metal shed → HasProperty → cheaper 0.59