Assertion list
left lung (subgroup of lung ) → ReceivesAction
Results from Ascent++: 1
left lung → ReceivesAction → removed 0.16