Assertion list
wire rope (subgroup of rope ) → MadeOf
Results from Ascent++: 1
wire rope → MadeOf → wire 0.43