Assertion list
paperwork (primary) → AtLocation
Results from Ascent++: 2
paperwork → AtLocation → perfect order 0.41
paperwork → AtLocation → another state 0.25