Assertion list for term "available in proof".

Results from Ascent++: 1
coin ReceivesActionavailable in proof 0.55