Assertion list for term "reduce the weight of the structure".

Results from Ascent++: 1
concrete CapableOfreduce the weight of the structure 0.25