A lady is playing Guitar Hero at an arcade.
The woman is at the mall.
The woman is either at an arcade or at the mall, but she can't be in two places at once.
exists e1 x1 x2 x3 x4.(ne_nam_hero(x2) & (x2 = x3) & ne_nam_guitar(x3) & at(e1,x4) & n_arcade(x4) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_lady(x1))
exists p1 x1 x2.(n_mall(x2) & n_woman(x1) & at(x1,x2))