Assertion list
white rose (subgroup of rose ) → IsA
Results from Ascent++: 1
white rose → IsA → versatile choice 0.16