Assertion list
circus (primary) → AtLocation
Results from Ascent++: 2
circus → AtLocation → town 0.56
circus → AtLocation → dallas 0.25