Assertion list
nucleus (aspect of atom ) → AtLocation
Results from Ascent++: 1
nucleus → AtLocation → the center of the atom 0.35