A woman is playing tennis while sitting down in the grass.
The woman is eating an ice cream cone, enjoying the sunny day
The woman cannot be eating ice cream and playing tennis at the same time.
exists e2 e1 s1 x1 x2 x3.(n_grass(x3) & while(e1,e2) & in(e2,x3) & a_down(s1) & Manner(e2,s1) & Actor(e2,x1) & v_sit(e2) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_tennis(x2) & n_woman(x1))
exists e2 e1 s1 x1 x2 x3 x4 x5 x6.(n_day(x6) & a_sunny(s1) & Theme(s1,x6) & n_woman(x1) & Theme(e2,x2) & Actor(e2,x1) & v_eat(e2) & Theme(e1,x6) & Actor(e1,x5) & v_enjoy(e1) & (x2 = x5) & n_cone(x2) & of(x2,x4) & n_cream(x4) & of(x2,x3) & n_ice(x3))