Assertion list
fan belt (primary) → HasProperty
Results from Ascent++: 2
fan belt → HasProperty → tight 0.25
fan belt → HasProperty → loose 0.23