Suppose Ariana Grande is a singer, songwriter, and actress. She is known for her powerful vocal range and has released multiple successful albums, including "Sweetener" and "Thank U, Next". She has also starred in the TV show "Victorious" and has appeared in films such as "Hairspray Live!".
Can we infer that "Ariana Grande's real name is Ariana Grande-Butera"? Yes, no, or maybe?