Assertion list
width (primary) → DefinedAs
Results from Ascent++: 1
width → DefinedAs → inner surface 0.28