Assertion list
wire crate (subgroup of crate ) → CapableOf
Results from Ascent++: 1
wire crate → CapableOf → come with divider 0.29