Assertion list
curd (primary) → AtLocation
Results from Ascent++: 1
curd → AtLocation → the uk 0.25