Assertion list
testis (primary) → AtLocation
Results from Ascent++: 1
testis → AtLocation → the abdomen 0.49