Assertion list for term "run at desired speed".

Results from Ascent++: 1
cooling fan (subgroup of fan) CapableOfrun at desired speed 0.55