A little girl is playing The Derby game at an arcade
A little girl is eating an ice cream code.
The little girl can't be playing the Derby game and eating an ice cream code at the same time.
exists e1 s1 s2 x1 x2 x3.(n_game(x2) & a_derby(s2) & Theme(s2,x2) & at(e1,x3) & n_arcade(x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_girl(x1) & a_little(s1) & Theme(s1,x1))
exists e1 s1 x1 x2 x3 x4.(Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_code(x2) & of(x2,x4) & n_cream(x4) & of(x2,x3) & n_ice(x3) & n_girl(x1) & a_little(s1) & Theme(s1,x1))