Assertion list
cooling fan (subgroup of fan ) → CapableOf
Results from Ascent++: 4
cooling fan → CapableOf → run at desired speed 0.55
cooling fan → CapableOf → run at first speed 0.43
cooling fan → CapableOf → eject air 0.25
cooling fan → CapableOf → remove heat 0.25