Three democrat supporters hold signs for an election.
Three democrats are fighting each other, with signs for the upcoming election.
The democrats are either holding the signs or fighting with the signs, not both.
exists e1 x1 x2 x3 x4.(Theme(e1,x3) & Actor(e1,x1) & v_hold(e1) & for(x3,x4) & n_election(x4) & n_sign(x3) & n_supporter(x1) & of(x1,x2) & n_democrat(x2) & card_eq_3(x1))
exists s1 x1 x4.(n_election(x4) & a_upcoming(s1) & Theme(s1,x4) & all x2.(n_other(x2) -> exists e1 x3.(with(e1,x3) & for(x3,x4) & n_sign(x3) & Theme(e1,x2) & Actor(e1,x1) & v_fight(e1))) & n_democrat(x1) & card_eq_3(x1))