Assertion list
element (aspect of set ) → AtLocation
Results from Ascent++: 2
element → AtLocation → the set 0.50
element → AtLocation → both 0.46