Assertion list
pipe tomahawk (subgroup of tomahawk ) → HasProperty
Results from Ascent++: 1
pipe tomahawk → HasProperty → numerous 0.25