Assertion list
dime (primary) → HasProperty
Results from Ascent++: 3
dime → HasProperty → the smallest 0.54
dime → HasProperty → common 0.25
dime → HasProperty → good 0.16