Assertion list
tempo (primary) → AtLocation
Results from Ascent++: 1
tempo → AtLocation → lower limit 0.28