Assertion list
reduction (primary) → AtLocation
Results from Ascent++: 3
reduction → AtLocation → effect 0.40
reduction → AtLocation → large part 0.34
reduction → AtLocation → study 0.25