Assertion list
left kidney (subgroup of kidney ) → IsA

Results from Ascent++: 1
left kidneyIsA larger than the right kidney 0.64