Assertion list
aphid (primary) → AtLocation
Results from Ascent++: 1
aphid → AtLocation → field 0.25