Ascent++
Search
Assertion list
structure
(
aspect
of
atom
)
→ HasA
Results from
Ascent++
:
1
structure
→
HasA
→
heavy atoms
0.30