Assertion list
racket (primary) → AtLocation
Results from Ascent++: 1
racket → AtLocation → taiwan 0.25