Assertion list
dark energy (subgroup of energy ) → IsA

Results from Ascent++: 1
dark energyIsA hypothetical form of energy 0.68