Assertion list for term "used in paving".

Results from Ascent++: 1
marble ReceivesActionused in paving 0.25