Assertion list
cowboy hat (subgroup of hat ) → IsA
Results from Ascent++: 1
cowboy hat → IsA → high-crowned, wide-brimmed hat 0.25