Assertion list for term "run at first speed".

Results from Ascent++: 1
cooling fan (subgroup of fan) CapableOfrun at first speed 0.43