Assertion list
stimulation (primary) → AtLocation
Results from Ascent++: 1
stimulation → AtLocation → phase 0.29