Assertion list
field (aspect of inductor ) → HasProperty

Results from Ascent++: 1
fieldHasProperty proportional 0.68