Assertion list
red card (subgroup of card ) → HasProperty
Results from Ascent++: 2
red card → HasProperty → negative 0.67
red card → HasProperty → the opposite 0.25