Assertion list
dark energy (subgroup of energy ) → HasProperty
Results from Ascent++: 2
dark energy → HasProperty → cosmological constant 0.25
dark energy → HasProperty → necessary 0.25