Good friends at a park gathering.
Bad friends hitting each other at school.
They can either be good friends or bad friends, not both.
exists s1 x1 x2 x3.(a_topic(x1) & at(x1,x2) & n_gathering(x2) & of(x2,x3) & n_park(x3) & n_friend(x1) & a_good(s1) & Theme(s1,x1))
exists x1 x2.(all x3.(n_other(x3) -> exists e1 x4.(at(e1,x4) & n_school(x4) & Theme(e1,x3) & Actor(e1,x1) & v_hit(e1))) & n_friend(x1) & (x1 = x2) & ne_nam_bad(x2))