Assertion list
colon (primary) → AtLocation
Results from Ascent++: 1
colon → AtLocation → the abdomen 0.25