Assertion list
right lung (subgroup of lung ) → IsA
Results from Ascent++: 1
right lung → IsA → larger than the left lung 0.56