Assertion list
healthy lung (subgroup of lung ) → HasProperty
Results from Ascent++: 1
healthy lung → HasProperty → spongy 0.16