Assertion list for term "short leg".
Results from Ascent++: 1
led → HasA → short leg 0.25