a child taking a break from playing to eat an ice cream.
A child eating ice cream.
If there is a child taking a break to eat an ice cream then there is a child eating ice cream.
exists e2 e1 p1 x1 x2 x3 x4 x5.(a_topic(x1) & Theme(e2,x3) & Actor(e2,x2) & v_take(e2) & Topic(e1,p1) & exists e3 x6 x7.(Theme(e3,x6) & Actor(e3,x4) & v_eat(e3) & n_cream(x6) & of(x6,x7) & n_ice(x7)) & Actor(e1,x5) & v_play(e1) & (x3 = x5) & (x3 = x4) & n_break(x3) & (x1 = x2) & n_child(x1))
exists e1 x1 x2 x3 x4.(a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_eat(e1) & n_cream(x3) & of(x3,x4) & n_ice(x4) & (x1 = x2) & n_child(x1))