Assertion list for term "double as surgeon".

Results from Ascent++: 1
barber CapableOfdouble as surgeon 0.25