Assertion list
time interval (primary) → AtLocation
Results from Ascent++: 1
time interval → AtLocation → the time window 0.29