Two men are playing a guitar for money on the street, and there are dogs on leashes around them.
The men are virtuosos.
just because they are playing the guitar for money does not mean they virtuosos.
exists e1 p1 x1 x2 x3 x4 x5.(n_thing(x4) & n_street(x4) & exists x6 x7.((x5 = x6) & on(x6,x7) & around(x7,x4) & n_leash(x7) & n_dog(x6)) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & on(x2,x4) & for(x2,x3) & n_money(x3) & n_guitar(x2) & n_man(x1) & card_eq_2(x1))
exists p1 x1.(n_man(x1) & exists x2.((x1 = x2) & n_virtuoso(x2)))