Assertion list for term "weigh 1/3".

Results from Ascent++: 1
aluminum CapableOfweigh 1/3 0.37