Assertion list
manual transmission (subgroup of transmission ) → HasA
Results from Ascent++: 3
manual transmission → HasA → gate 0.40
manual transmission → HasA → several shafts 0.25
manual transmission → HasA → low ratio 0.18