Assertion list
lung (aspect of diver ) → HasProperty
Results from Ascent++: 2
lung → HasProperty → flexible 0.43
lung → HasProperty → full 0.25