A man is playing the flute and there is another instrumentalist behind him.
The man knows how to play the flute.
A man playing the flute implies that he knows how to play.
exists e1 p1 x1 x2 x3 x4.(n_male(x2) & n_instrumentalist(x4) & n_flute(x2) & exists x5.((x3 = x5) & behind(x5,x2) & n_instrumentalist(x5) & -(x5 = x4)) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_man(x1))
exists e1 x1 x2 x4.(n_flute(x4) & n_man(x1) & Topic(e1,x2) & Actor(e1,x1) & v_know(e1) & n_manner(x2) & exists e2 x3.(Theme(e2,x4) & Actor(e2,x3) & v_play(e2)))