Assertion list
structure (aspect of valve ) → HasA
Results from Ascent++: 3
structure → HasA → other lateral cross-sectional d… 0.36
structure → HasA → outer diameters 0.36
structure → HasA → thickness 0.25