Assertion list
exhaust pipe (primary) → HasA
Results from Ascent++: 3
exhaust pipe → HasA → three different diameters 0.59
exhaust pipe → HasA → innovative layout 0.54
exhaust pipe → HasA → at least one oxygen sensor 0.43