Assertion list
fan belt (primary) → HasA
Results from Ascent++: 1
fan belt → HasA → larger surface contact area 0.16