Assertion list
typewriter (primary) → AtLocation
Results from Ascent++: 1
typewriter → AtLocation → minnesota 0.25