Assertion list
red envelope (subgroup of envelope ) → HasA

Results from Ascent++: 1
red envelopeHasA lucky money, 0.59