Assertion list
white lion (subgroup of lion ) → ReceivesAction
Results from Ascent++: 1
white lion → ReceivesAction → protected 0.16