Assertion list for term "driven into hole".

Results from Ascent++: 1
pipe ReceivesActiondriven into hole 0.39