Assertion list for term "shorter than the other".
Results from Ascent++: 2
arm → HasProperty → shorter than the other 0.49
lead (aspect of led) → HasProperty → shorter than the other 0.44