Assertion list
truncheon (primary) → IsA
Results from Ascent++: 1
truncheon → IsA → cylindrical club 0.67