Assertion list for term "formed with hole".

Results from Ascent++: 1
tube ReceivesActionformed with hole 0.30