Ascent++
Search
Assertion list
total energy
(
subgroup
of
energy
)
→ IsA
Results from
Ascent++
:
1
total energy
→
IsA
→
the sum of two terms
0.39