Assertion list
corkscrew (primary) → HasProperty
Results from Ascent++: 3
corkscrew → HasProperty → beautiful 0.32
corkscrew → HasProperty → simple 0.32
corkscrew → HasProperty → sturdy 0.32