Assertion list
blue rose (subgroup of rose ) → ReceivesAction
Results from Ascent++: 1
blue rose → ReceivesAction → created 0.16