Assertion list
capacitance value (aspect of capacitor ) → IsA

Results from Ascent++: 1
capacitance valueIsA 4c 0.41