Assertion list
hot air balloon (subgroup of balloon ) → HasA

Results from Ascent++: 1
hot air balloonHasA three major parts 0.25