what is tv channel is part of the tvi - televisão independente sa network?
(AND broadcast.tv_channel (JOIN broadcast.tv_channel.network m.063y40v))