Assertion list
herring (primary) → AtLocation
Results from Ascent++: 1
herring → AtLocation → chicago 0.25