Assertion list
capacitance value (aspect of capacitor ) → HasProperty
Results from Ascent++: 5
capacitance value → HasProperty → small 0.46
capacitance value → HasProperty → smaller 0.46
capacitance value → HasProperty → positive 0.41
capacitance value → HasProperty → equal 0.25
capacitance value → HasProperty → high 0.25