Assertion list
card (primary) → IsA
Results from Ascent++: 2
card → IsA → record 0.54
card → IsA → ready to use 0.29