Assertion list
fan belt (primary) → IsA
Results from Ascent++: 1
fan belt → IsA → belt 0.68