Assertion list
tug (primary) → HasProperty
Results from Ascent++: 4
tug → HasProperty → small 0.49
tug → HasProperty → short 0.38
tug → HasProperty → strong 0.31
tug → HasProperty → fun 0.29