A crowd of protesters in the street holding up peace signs an holding signs saying "stop killing in Iran."
The protesters are protesting the war in Iran.
The fact that protesters are holding signs saying 'stop killing in Iran' implies that the protesters are protesting the war in Iran.
exists x1 x2 x3 x4 x8.(ne_geo_iran(x8) & n_street(x3) & a_topic(x1) & all x5 e1.((n_sign(x5) & Actor(e1,x5) & v_hold(e1)) -> exists e3 e2 s1 x6 x7 x9 x10.(for(e2,e3) & Theme(e3,x9) & Actor(e3,x4) & v_say(e3) & n_kill(x9) & of(x9,x10) & n_stop(x10) & in(e2,x8) & a_up(s1) & Manner(e2,s1) & Theme(e2,x6) & Actor(e2,x4) & v_hold(e2) & for(x6,x5) & n_sign(x6) & of(x6,x7) & n_peace(x7))) & (x1 = x4) & in(x1,x3) & of(x1,x2) & n_protester(x2) & n_crowd(x1))
exists e1 x1 x2 x3.(ne_geo_iran(x3) & n_war(x2) & n_protester(x1) & Theme(e1,x2) & Actor(e1,x1) & v_protest(e1) & in(x2,x3))