Assertion list for term "run to inside furnace".

Results from Ascent++: 1
copper pipe (subgroup of pipe) CapableOfrun to inside furnace 0.25