Assertion list for term "add counterweight".

Results from Ascent++: 1
mobile crane (subgroup of crane) CapableOfadd counterweight 0.25