One girl is playing a recorder and another girl is playing the guitar.
there are two girls
one girl is playing recorder and another is playing guitar shows that there are two girls
exists e1 e2 x1 x2 x3 x4.(n_guitar(x4) & Theme(e2,x4) & Actor(e2,x3) & v_play(e2) & n_girl(x3) & -(x3 = x1) & n_girl(x1) & n_girl(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_recorder(x2) & card_eq_1(x1))
exists p1 x1 x2.((x1 = x2) & n_girl(x2) & card_eq_2(x2))