Assertion list
kidney stone (primary) → AtLocation

Results from Ascent++: 1
kidney stoneAtLocation man 0.25