Assertion list
dovetail (primary) → HasProperty
Results from Ascent++: 3
dovetail → HasProperty → hard 0.36
dovetail → HasProperty → small 0.36
dovetail → HasProperty → clean 0.25