Assertion list
solitaire (primary) → AtLocation
Results from Ascent++: 1
solitaire → AtLocation → the junction of main roads 0.25