Assertion list
slouch hat (subgroup of hat ) → HasProperty
Results from Ascent++: 1
slouch hat → HasProperty → correct 0.25