Assertion list
right lung (subgroup of lung ) → HasA
Results from Ascent++: 2
right lung → HasA → three lobes 0.68
right lung → HasA → three sections 0.46