Assertion list
occurring uranium (subgroup of uranium ) → AtLocation

Results from Ascent++: 1
occurring uraniumAtLocation two different isotopes 0.68