Assertion list
charged particle (subgroup of atom ) → AtLocation
Results from Ascent++: 1
charged particle → AtLocation → the nucleus of an atom 0.25