Assertion list
right lung (subgroup of lung ) → CapableOf
Results from Ascent++: 1
right lung → CapableOf → leave lung 0.25