Assertion list
wall (aspect of conduit ) → CapableOf
Results from Ascent++: 3
wall → CapableOf → extend above the water level 0.46
wall → CapableOf → define luman 0.41
wall → CapableOf → interlock the ferrule 0.25