Assertion list
dog crate (subgroup of crate ) → MadeOf
Results from Ascent++: 2
dog crate → MadeOf → wire 0.31
dog crate → MadeOf → metal 0.25