Assertion list
cross section (primary) → HasA
Results from Ascent++: 4
cross section → HasA → transverse length 0.40
cross section → HasA → point-symmetric shape 0.34
cross section → HasA → an aspect ratio 0.25
cross section → HasA → honeycomb-like cavity 0.25