Assertion list
reef building coral (subgroup of coral ) → IsA

Results from Ascent++: 1
reef building coralIsA animal 0.68