Three women in bright colors and headdresses are holding love message cards.
Some man is on the ground.
The women cannot be some man.
exists e1 p1 s1 x1 x2 x3 x4 x5 x6.(for(p1,e1) & Theme(e1,x5) & Actor(e1,x1) & v_hold(e1) & n_message(x5) & of(x5,x6) & n_love(x6) & exists x7.((x1 = x7) & n_card(x7)) & in(x1,x2) & subset_of(x4,x2) & n_headdress(x4) & subset_of(x3,x2) & n_color(x3) & a_bright(s1) & Theme(s1,x3) & n_woman(x1) & card_eq_3(x1))
exists p1 x1 x2.(n_ground(x2) & on(x1,x2) & n_man(x1))