A child is performing a skateboard trick while another child with a skateboard leans on a wall.
They are taking turns showing each other tricks.
Just because one child is performing tricks, does not mean they are taking turns.
exists e1 p1 x1 x2 x3.(exists e2 x4 x5 x6.(on(e2,x6) & n_wall(x6) & Actor(e2,x4) & v_lean(e2) & with(x4,x5) & n_skateboard(x5) & n_child(x4) & -(x4 = x1)) & n_child(x1) & n_child(x1) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_trick(x2) & of(x2,x3) & n_skateboard(x3))
exists e1 x1 x2 x3 x5.(n_trick(x5) & n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_take(e1) & all x4.((-(x4 = x5) & n_trick(x4)) -> exists e2.(Theme(e2,x4) & Actor(e2,x3) & v_show(e2))) & (x2 = x3) & n_turn(x2))