Assertion list for term "cover the metal parts".

Results from Ascent++: 1
wire CapableOfcover the metal parts 0.33