Assertion list
pentagon (primary) → AtLocation
Results from Ascent++: 2
pentagon → AtLocation → arlington 0.33
pentagon → AtLocation → kharkiv 0.16