Assertion list
value (aspect of inductor ) → HasProperty
Results from Ascent++: 6
value → HasProperty → equal 0.71
value → HasProperty → small 0.65
value → HasProperty → possible 0.55
value → HasProperty → proportional 0.55
value → HasProperty → high 0.25
value → HasProperty → large 0.25