Assertion list
smart card (primary) → AtLocation
Results from Ascent++: 1
smart card → AtLocation → communication 0.25