Assertion list
width (primary) → IsA
Results from Ascent++: 3
width → IsA → the distance 0.46
width → IsA → horizontal distances 0.31
width → IsA → the dimension 0.28