Assertion list
extension tube (subgroup of tube ) → ReceivesAction
Results from Ascent++: 1
extension tube → ReceivesAction → extracted 0.68