Assertion list
diameter (aspect of pipe ) → HasProperty
Results from Ascent++: 3
diameter → HasProperty → small 0.59
diameter → HasProperty → possible 0.36
diameter → HasProperty → equal 0.25