Assertion list
trombone (primary) → HasA
Results from Ascent++: 2
trombone → HasA → telescoping slide mechanism 0.58
trombone → HasA → valve 0.45