Assertion list
left lung (subgroup of lung ) → HasProperty
Results from Ascent++: 1
left lung → HasProperty → smaller 0.48