If Stephen Curry is an NBA player or a soccer player, then he is a professional basketball player.
(NBAPlayer(stephencurry) ⊕ ProfessionalSoccerPlayer(stephencurry)) → ProfessionalBasketballPlayer(stephencurry)