A male in a green shirt and jeans is sitting on the floor while turned to look slightly up at a female with a blue shirt and jeans sitting in a green chair.
A man watches his girlfriend order an ice cream cone from a food truck.
The couple cannot simultaneously be located on the floor and in chairs, while ordering ice cream from a food truck which would be located outside on a street.
exists e1 p1 s1 x1 x2 x3 x4 x5.(n_floor(x5) & on(e1,x5) & exists e2 p2 x6.(Topic(e2,p2) & Actor(e2,x6) & v_turn(e2) & exists e4 e3 s2 s3 s4 s5 x7 x8 x9 x10 x11 x12.(a_up(s5) & Manner(e3,s5) & a_slightly(s4) & Manner(e3,s4) & at(e3,x7) & subset_of(x10,x7) & in(e4,x12) & n_chair(x12) & a_green(s3) & Theme(s3,x12) & Actor(e4,x11) & v_sit(e4) & (x10 = x11) & n_jeans(x10) & subset_of(x8,x7) & with(x8,x9) & n_shirt(x9) & a_blue(s2) & Theme(s2,x9) & n_female(x8) & Actor(e3,x6) & v_look(e3)) & n_while(x6)) & that(x5,p1) & Actor(e1,x1) & v_sit(e1) & in(x1,x2) & subset_of(x4,x2) & n_jeans(x4) & subset_of(x3,x2) & n_shirt(x3) & a_green(s1) & Theme(s1,x3) & n_male(x1))
exists x1 x5 x6.(all x2 x3 x4.((n_cone(x2) & of(x2,x4) & n_cream(x4) & of(x2,x3) & n_ice(x3)) -> exists e1 x7 x8.(from(e1,x7) & n_truck(x7) & of(x7,x8) & n_food(x8) & Theme(e1,x5) & Actor(e1,x1) & v_watch(e1) & for(x5,x2))) & n_order(x5) & of(x5,x6) & n_girlfriend(x6) & of(x5,x1) & n_male(x1) & n_man(x1))