Assertion list for term "weigh less than steel".

Results from Ascent++: 1
aluminum CapableOfweigh less than steel 0.16