A man in a dance studio holds the hand of a boy, teaching him to dance.
A boy is learning to dance ballet.
It is known that the boy is being taught how to dance, however, one cannot infer that the boy is learning to dance ballet.
exists e1 e2 p1 x1 x2 x3 x4 x5.(n_male(x4) & n_hand(x4) & for(e1,e2) & Topic(e2,p1) & Recipient(e2,x4) & Actor(e2,x1) & v_teach(e2) & exists e3.(Actor(e3,x4) & v_dance(e3)) & Theme(e1,x4) & Actor(e1,x1) & v_hold(e1) & of(x4,x5) & n_boy(x5) & in(x1,x2) & n_studio(x2) & of(x2,x3) & n_dance(x3) & n_man(x1))
exists e1 p1 x1.(Topic(e1,p1) & Actor(e1,x1) & v_learn(e1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_dance(e2) & n_ballet(x2)) & n_boy(x1))