Assertion list
core (aspect of inductor ) → HasProperty

Results from Ascent++: 1
coreHasProperty conductive 0.31