Assertion list
aim (primary) → AtLocation
Results from Ascent++: 2
aim → AtLocation → accordance 0.52
aim → AtLocation → part 0.28