Assertion list
core (aspect of inductor ) → ReceivesAction

Results from Ascent++: 4
coreReceivesAction saturated 0.68
coreReceivesAction formed of magnetic material 0.44
coreReceivesAction shown in fig 0.44
coreReceivesAction formed 0.41