Assertion list
red card (subgroup of card ) → CapableOf
Results from Ascent++: 1
red card → CapableOf → reverse the direction of the de… 0.34