That was probably originally put in to account for marvel/disney kids programming. Marvel owns/creates the animated Spidey and his amazing friends shows that get a lot of airtime on Disney Jr as well as other kids animations that include Sony owned characters.