Assertion list
tuba (primary) → HasProperty
Results from Ascent++: 1
tuba → HasProperty → useful 0.60