Assertion list for term "left to stand for slab".

Results from Ascent++: 1
concrete ReceivesActionleft to stand for slab 0.25