Assertion list
inductance (aspect of inductor ) → HasProperty

Results from Ascent++: 3
inductanceHasProperty small 0.82
inductanceHasProperty proportional 0.55
inductanceHasProperty high 0.51