A man with an injured arm watches three policemen as one addresses the police van driver and two others walk away from the van.
The man is not injured while he watches the cops perform CPR on a giraffe.
Injured and not injured are a contradiction.
exists e1 p1 s1 x1 x2 x3 x5 x6 x7.(n_van(x7) & n_van(x7) & n_driver(x5) & of(x5,x7) & of(x5,x6) & n_police(x6) & exists e2 e3 x4 x8.(from(e3,x7) & r_away(e3) & Actor(e3,x8) & v_walk(e3) & -(x8 = x1) & n_person(x8) & card_eq_2(x8) & Theme(e2,x5) & Actor(e2,x4) & v_address(e2) & n_thing(x4) & card_eq_1(x4)) & n_person(x1) & as(e1,p1) & Theme(e1,x3) & Actor(e1,x1) & v_watch(e1) & n_policeman(x3) & card_eq_3(x3) & with(x1,x2) & n_arm(x2) & a_injured(s1) & Theme(s1,x2) & n_man(x1))
exists x1 x2 x3.(ne_org_cpr(x3) & n_cop(x2) & n_male(x1) & n_man(x1) & -exists e1 p1.(exists e2 p2.(exists e3 x4.(on(e3,x4) & n_giraffe(x4) & Theme(e3,x3) & Actor(e3,x2) & v_perform(e3)) & Topic(e2,p2) & Actor(e2,x1) & v_watch(e2)) & while(e1,p1) & Theme(e1,x1) & v_injure(e1)))