Assertion list
straw hat (subgroup of hat ) → HasProperty
Results from Ascent++: 2
straw hat → HasProperty → sturdy 0.29
straw hat → HasProperty → perfect 0.29