Assertion list
leaf clover (subgroup of clover ) → ReceivesAction
Results from Ascent++: 1
leaf clover → ReceivesAction → considered lucky 0.59