Assertion list
diatom (primary) → HasA
Results from Ascent++: 1
diatom → HasA → outer shell 0.45