Assertion list
corkscrew (primary) → HasA
Results from Ascent++: 3
corkscrew → HasA → bottle opener 0.31
corkscrew → HasA → circular rim 0.31
corkscrew → HasA → fold out knife 0.31