Assertion list
inaction (primary) → AtLocation
Results from Ascent++: 1
inaction → AtLocation → at most a refusal 0.25