Assertion list
wire crate (subgroup of crate ) → HasProperty
Results from Ascent++: 2
wire crate → HasProperty → more open 0.25
wire crate → HasProperty → collapsible 0.23