Assertion list
brake drum (primary) → HasA
Results from Ascent++: 1
brake drum → HasA → machined surface 0.68