Assertion list
wire (aspect of whisk ) → HasProperty
Results from Ascent++: 3
wire → HasProperty → thick 0.68
wire → HasProperty → sturdy 0.49
wire → HasProperty → stiff 0.16