Assertion list
mannequin (primary) → AtLocation
Results from Ascent++: 2
mannequin → AtLocation → accordance 0.42
mannequin → AtLocation → response 0.35