Assertion list for term "full of tub".

Results from Ascent++: 1
fold ReceivesActionfull of tub 0.25