Assertion list for term "made lighter".
Results from Ascent++: 2
oxygen → HasProperty → made lighter 0.28
pulley → HasProperty → made lighter 0.25