Two girls are sitting on a bench outside, and one of them is checking her cellphone.
the girls are indoors
The girls cannot be both indoors and outside at the same time
exists e2 e1 x1 x2 x3 x4 x5.(Theme(e2,x5) & Actor(e2,x4) & v_check(e2) & n_cellphone(x5) & of(x5,x2) & n_female(x2) & of(x4,x1) & n_thing(x1) & n_thing(x4) & card_eq_1(x4) & on(e1,x2) & n_outside(x2) & of(x2,x3) & n_bench(x3) & Actor(e1,x1) & v_sit(e1) & n_girl(x1) & card_eq_2(x1))
exists p1 x1.(n_girl(x1) & exists x2.((x1 = x2) & n_indoor(x2)))