A girl in a blue jacket is sitting in front of the Seattle skyline.
The girl was stuck at school all day.
Girl at school cannot be sitting in front of the Seattle skyline
exists e1 s1 x1 x2 x3 x4 x5.(n_skyline(x4) & (x4 = x5) & ne_geo_seattle(x5) & in(e1,x3) & of(x3,x4) & n_front(x3) & Actor(e1,x1) & v_sit(e1) & in(x1,x2) & n_jacket(x2) & a_blue(s1) & Theme(s1,x2) & n_girl(x1))
exists x2.(n_girl(x2) & all x1.(n_day(x1) -> exists e1 x3.(Time(e1,x1) & at(e1,x3) & n_school(x3) & Theme(e1,x2) & v_stick(e1))))