Assertion list
shock absorber (primary) → HasA
Results from Ascent++: 2
shock absorber → HasA → piston 0.51
shock absorber → HasA → long service life 0.16