Ascent++
Search
Assertion list
neutron
(
aspect
of
deuterium
)
→ HasA
Results from
Ascent++
:
1
neutron
→
HasA
→
about the same
0.25