Assertion list for term "finished with extra room".

Results from Ascent++: 1
basement ReceivesActionfinished with extra room 0.51