Assertion list
handset (primary) → AtLocation
Results from Ascent++: 2
handset → AtLocation → the cradle 0.41
handset → AtLocation → the base station 0.32