Assertion list
core (aspect of inductor ) → MadeOf
Results from Ascent++: 1
core → MadeOf → ferrite 0.25