The Arizona Fall League is an off-season league owned and operated by Major League Baseball which operates during the autumn in Arizona, United States, at six different baseball complexes. The Arizona Fall League attracts many of the top prospects in minor league baseball.
Arizona Fall League teams include players who have been in Major League Baseball. 
Sometimes, MLB players end up playing in the minor leagues, so if anything it might be considered correct, but there is no way to tell from this context. 
( z1 include :ARG1 ( z2 person :ARG0-of ( z3 play ) :ARG0-of ( z4 have-org-role :ARG1 ( z5 league :name ( z6 name :op "Major" :op "League" ) ) ) ) :ARG2 ( z7 team :mod ( z8 league :name ( z9 name :op "Arizona" :op "Fall" :op "League" ) ) ) )