Assertion list
disposal (primary) → AtLocation
Results from Ascent++: 1
disposal → AtLocation → accordance 0.56