Assertion list for term "double fan".

Results from Ascent++: 1
division MadeOfdouble fan 0.22