Assertion list
total energy (subgroup of energy ) → HasProperty

Results from Ascent++: 11
total energyHasProperty equal 0.79
total energyHasProperty zero 0.76
total energyHasProperty higher 0.67
total energyHasProperty constant 0.63
total energyHasProperty low 0.42
total energyHasProperty negative 0.42
total energyHasProperty infinite 0.35
total energyHasProperty small 0.32
total energyHasProperty large 0.29
total energyHasProperty finite 0.25
total energyHasProperty potential 0.25