Assertion list
rainbow (primary) → IsA
Results from Ascent++: 3
rainbow → IsA → promise 0.40
rainbow → IsA → arc 0.37
rainbow → IsA → bow 0.28