Assertion list
stroke engine (subgroup of engine ) → HasA
Results from Ascent++: 1
stroke engine → HasA → reduced number of moving parts 0.16