Assertion list
cpu fan (subgroup of fan ) → CapableOf
Results from Ascent++: 2
cpu fan → CapableOf → keep the cpu 0.68
cpu fan → CapableOf → push air 0.25