Assertion list
plate (aspect of capacitor ) → HasProperty
Results from Ascent++: 2
plate → HasProperty → positive 0.55
plate → HasProperty → close 0.43