Assertion list
weather balloon (subgroup of balloon ) → IsA

Results from Ascent++: 1
weather balloonIsA balloon 0.25