Two girls sit back to back.
Two girls are sleeping in bunk beds.
Two girls cannot be sitting and sleeping in bunk beds at the same time.
exists e1 s1 x1 x2.(Theme(e1,s1) & Theme(s1,x2) & a_back(s1) & r_back(e1) & Actor(e1,x1) & v_sit(e1) & n_girl(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(in(e1,x2) & n_bed(x2) & of(x2,x3) & n_bunk(x3) & Actor(e1,x1) & v_sleep(e1) & n_girl(x1) & card_eq_2(x1))