Assertion list
french horn (primary) → HasA
Results from Ascent++: 1
french horn → HasA → fourth valve 0.34