Assertion list
wall (aspect of conduit ) → HasA
Results from Ascent++: 4
wall → HasA → area 0.62
wall → HasA → a series of indentations 0.51
wall → HasA → a wall thickness 0.34
wall → HasA → slot 0.34