Assertion list for term "push the girder".

Results from Ascent++: 1
beam CapableOfpush the girder 0.30