Conversation so far:
what's the big guys name in mickey mouse
Pete is a very fat cat who always bothers Mickey Mouse and his friends.

Question: does the cat have nicknames
Self-contained rewrite: does the cat pete have nicknames