Assertion list
energy (aspect of sun ) → HasA
Results from Ascent++: 1
energy → HasA → definite elastic rigidity 0.25