Assertion list
port (aspect of valve ) → HasProperty
Results from Ascent++: 6
port → HasProperty → open 0.77
port → HasProperty → big 0.39
port → HasProperty → coaxial 0.30
port → HasProperty → possible 0.25
port → HasProperty → sealable 0.25
port → HasProperty → third 0.25