Assertion list for term "formed integral".

Results from Ascent++: 1
heating element HasPropertyformed integral 0.25