Assertion list
urine (primary) → AtLocation
Results from Ascent++: 1
urine → AtLocation → extreme 0.30