Assertion list
rainbow baby (subgroup of baby ) → IsA
Results from Ascent++: 1
rainbow baby → IsA → baby 0.68