Assertion list
tubular conduit (subgroup of conduit ) → HasProperty
Results from Ascent++: 1
tubular conduit → HasProperty → soft 0.68