Ascent++
Search
solid wire
subgroup of
wire
,
1
assertions
IsA
1
common choice
0.59