The rules have been, and should be, if a player is selected in the major league draft, then he must be on the major league squad when it breaks out of spring training. If not, then the team who chose the player will lose him. So it does not matter if a player has any major league experience. Who cares. It all depends on where the player starts the season. In the majors (including on the DL), then he can be selected in the major league draft. Everyone else must be chosen in the minor league draft, but if they are to be put in your minor leagues they have to meet the conditions for being there. So, if Martins starts the year in the majors then Tim gets him. If he starts the year in the minors, then whoever selected him in the minor league draft gets him, or he has to be picked up as a free agent.