Assertion list
red rose (subgroup of rose ) → HasProperty

Results from Ascent++: 1
red roseHasProperty perfect 0.49