Assertion list for term "trace 115".
Results from Ascent++: 1
width → CapableOf → trace 115 0.29