Assertion list
slouch hat (subgroup of hat ) → IsA
Results from Ascent++: 1
slouch hat → IsA → wide-brimmed hat 0.25