Anchors for local ABC affiliate Channel 7 news.
The news van crew for local CBS affiliate Channel 2 news.
ABC is contradictory to CBS, and Channel 7 news is contradictory to channel 2.
exists s1 x1 x2 x3 x4 x5.(a_topic(x1) & for(x1,x2) & n_news(x2) & n_date(x2) & a_date_day_07(x2) & a_date_day_07(x2) & (x2 = x5) & ne_nam_channel(x5) & of(x2,x4) & n_affiliate(x4) & (x2 = x3) & ne_org_abc(x3) & a_local(s1) & Theme(s1,x2) & n_anchor(x1))
exists s1 x1 x2 x3 x4 x5 x6.(a_topic(x1) & for(x1,x2) & n_news(x2) & n_news(x2) & n_date(x2) & a_date_day_02(x2) & a_date_day_02(x2) & (x2 = x6) & ne_nam_channel(x6) & of(x2,x5) & n_affiliate(x5) & (x2 = x4) & ne_org_cbs(x4) & a_local(s1) & Theme(s1,x2) & n_crew(x1) & of(x1,x3) & n_van(x3) & of(x1,x2))