Assertion list
sim card (subgroup of card ) → HasProperty
Results from Ascent++: 1
sim card → HasProperty → valid 0.52