Assertion list for term "short side".
Results from Ascent++: 1
triangle → HasA → short side 0.27