Assertion list
white rose (subgroup of rose ) → HasProperty
Results from Ascent++: 2
white rose → HasProperty → special 0.29
white rose → HasProperty → perfect 0.23