Assertion list
sim card (subgroup of card ) → CapableOf
Results from Ascent++: 2
sim card → CapableOf → execute verification 0.36
sim card → CapableOf → stay active 0.36