upcase_atom(AnyAtom, UppercaseAtom) is true if UppercaseAtom is the result of turning every character in AnyAtom to upper case.