Assertion list
coral reef (subgroup of reef ) → IsA

Results from Ascent++: 1
coral reefIsA the great barrier reef 0.48