A child is performing a skateboard trick while another child with a skateboard leans on a wall.
An older brother teaches his younger brother a new skateboard trick.
Just because a child is performing a skateboard trick while another child with a skateboard leans on a wall does not mean that they are brothers and that the older brother teaches his younger brother a new skateboard trick.
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 s1 s3 x1 x4.(all x2 x3 s2.((n_trick(x2) & of(x2,x3) & n_skateboard(x3) & a_new(s2) & Theme(s2,x2)) -> exists e1.(Theme(e1,x4) & Actor(e1,x1) & v_teach(e1) & for(x4,x2))) & n_brother(x4) & r_more(s3) & a_younger(s3) & Theme(s3,x4) & of(x4,x1) & n_male(x1) & n_brother(x1) & r_more(s1) & a_older(s1) & Theme(s1,x1))