A band that consists of four men, one of which is singing and three playing guitars.
The band is playing several songs.
Just because a band is made up of four men, singing and playing, there is no implication that they are playing several songs.
exists e2 e3 e1 x1 x2 x3 x4 x5 x6 x7.(a_topic(x1) & of(e1,x3) & subset_of(x7,x3) & n_guitar(x7) & Actor(e3,x7) & v_play(e3) & card_eq_3(x7) & Actor(e2,x6) & v_sing(e2) & of(x6,x5) & n_one(x6) & subset_of(x4,x3) & (x4 = x5) & n_man(x4) & card_eq_4(x4) & Actor(e1,x2) & v_consist(e1) & (x1 = x2) & n_band(x1))
exists e1 s1 x1 x2.(n_band(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_song(x2) & a_several(s1) & Theme(s1,x2))