Assertion list for term "counted as 1 yellow + 1 red".
Results from Ascent++: 1
red card (subgroup of card) → ReceivesAction → counted as 1 yellow + 1 red 0.25