Assertion list
right lung (subgroup of lung ) → HasProperty
Results from Ascent++: 3
right lung → HasProperty → larger 0.64
right lung → HasProperty → shorter 0.41
right lung → HasProperty → heavier 0.33