Assertion list
voltage (aspect of capacitor ) → HasProperty

Results from Ascent++: 26
voltageHasProperty high 0.74
voltageHasProperty low 0.69
voltageHasProperty equal 0.68
voltageHasProperty constant 0.64
voltageHasProperty positive 0.61
voltageHasProperty higher 0.57
voltageHasProperty lower 0.55
voltageHasProperty correct 0.52
voltageHasProperty negative 0.51
voltageHasProperty closer 0.42
voltageHasProperty large 0.42
voltageHasProperty steady 0.40
voltageHasProperty identical 0.34
voltageHasProperty logical 1 0.32
voltageHasProperty reset 0.31
voltageHasProperty insufficient 0.28
voltageHasProperty significant 0.28
voltageHasProperty continuous 0.25
voltageHasProperty double 0.25
voltageHasProperty normal 0.25
voltageHasProperty safe 0.25
voltageHasProperty unbalanced 0.25
voltageHasProperty unchanging 0.25
voltageHasProperty useful 0.25
voltageHasProperty critical 0.22
voltageHasProperty dangerous 0.16