Assertion list
carina nebula (subgroup of nebula ) → IsA
Results from Ascent++: 2
carina nebula → IsA → large bright nebula 0.68
carina nebula → IsA → home 0.40