Assertion list
anaerobic exercise (subgroup of exercise ) → IsA

Results from Ascent++: 1
anaerobic exerciseIsA exercise 0.25