( (IP-MAT (PP-NIM (P-ROLE According_to;{according_to})
                  (NP (NS rumours;{rumour})))
          (PUNC ,)
          (NP-SBJ (D;_nphd_ one;{one})
                  (PP (P-ROLE of;{of})
                      (NP;{BYERS+EVANS} (PRO them;{they}))))
          (DOD did;{do})
          (NEG not;{not})
          (VB;_I_ die;{die})
          (PP-NIM (P-ROLE until;{until})
                  (NP (D the;{the})
                      (ADJP (ADJ third;{third}))
                      (N volley;{volley})))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (VAG;_Ipr_ leading;{lead[to]})
                            (PP-CLR (P-ROLE to;{to})
                                    (NP (N speculation;{speculation})
                                        (CP-THT (IP-SUB (C that;{that})
                                                        (NP-SBJ (D the;{the})
                                                                (N firing;{firing})
                                                                (N squad;{squad}))
                                                        (HVD;_cat_Ve_ had;{have})
                                                        (IP-PPL-CAT (VVN;_I_ fired;{fire})
                                                                    (ADVP-NIM (ADV wide;{wide})))
                                                        (PP-SCON (IP-INF (TO to;{to})
                                                                         (VB;_Tg_ avoid;{avoid})
                                                                         (IP-PPL-OB1 (VAG;_Tn_ killing;{kill})
                                                                                     (NP-OB1 (D the;{the})
                                                                                             (N youth;{youth})))))))))))
          (PUNC .))
  (ID 6_a_joseph_byers))

arc(r_0006_0004__one,r_0006_0006__them,r_0006_0005__of).
arc(r_0006_0007__did_r_0006_0009__die,r_0006_0002__rumours,r_0006_0001__According_to__nim).
arc(r_0006_0007__did_r_0006_0009__die,r_0006_0004__one,arg0).
arc(r_0006_0007__did_r_0006_0009__die,r_0006_0011__the_r_0006_0013__volley,r_0006_0010__until__nim).
arc(r_0006_0008__not,r_0006_0007__did_r_0006_0009__die,keep_scope).
arc(r_0006_0011__the_r_0006_0013__volley,r_0006_0012__third,attrib).
arc(r_0006_0015__leading_r_0006_0016__to,r_0006_0017__speculation,arg1).
arc(r_0006_0015__leading_r_0006_0016__to,z_0006_5005,arg0).
arc(r_0006_0017__speculation,z_0006_5009,emb).
arc(r_0006_0022__had,r_0006_0023__fired,scope).
arc(r_0006_0023__fired,r_0006_0019__the_r_0006_0020__firing_r_0006_0021__squad,arg0).
arc(r_0006_0023__fired,r_0006_0024__wide,nim).
arc(r_0006_0026__avoid,r_0006_0019__the_r_0006_0020__firing_r_0006_0021__squad,arg0).
arc(r_0006_0026__avoid,r_0006_0027__killing,arg1).
arc(r_0006_0027__killing,r_0006_0019__the_r_0006_0020__firing_r_0006_0021__squad,arg0).
arc(r_0006_0027__killing,r_0006_0028__the_r_0006_0029__youth,arg1).
arc(z_0006_5002,r_0006_0008__not,scope).
arc(z_0006_5002,r_0006_0015__leading_r_0006_0016__to,restriction).
arc(z_0006_5009,r_0006_0022__had,scope).
arc(z_0006_5009,r_0006_0026__avoid,restriction).

fof(formula,axiom,
    ? [R_0006_0019__THE_R_0006_0020__FIRING_R_0006_0021__SQUAD,R_0006_0024__WIDE,R_0006_0022__HAD_R_0006_0023__FIRED,R_0006_0028__THE_R_0006_0029__YOUTH,R_0006_0027__KILLING,R_0006_0026__AVOID,Z_0006_5009,R_0006_0017__SPECULATION,Z_0006_5005,R_0006_0015__LEADING_R_0006_0016__TO,Z_0006_5002] :
      ( r_0006_0019__the_r_0006_0020__firing_r_0006_0021__squad(R_0006_0019__THE_R_0006_0020__FIRING_R_0006_0021__SQUAD)
      & r_0006_0024__wide(R_0006_0024__WIDE)
      & r_0006_0028__the_r_0006_0029__youth(R_0006_0028__THE_R_0006_0029__YOUTH)
      & z_0006_5005(Z_0006_5005)
      & z_0006_5002(Z_0006_5002)
      & has_conj1(Z_0006_5002,R_0006_0015__LEADING_R_0006_0016__TO)
      & r_0006_0015__leading_r_0006_0016__to(R_0006_0015__LEADING_R_0006_0016__TO)
      & has_arg0(R_0006_0015__LEADING_R_0006_0016__TO,Z_0006_5005)
      & has_arg1(R_0006_0015__LEADING_R_0006_0016__TO,R_0006_0017__SPECULATION)
      & r_0006_0017__speculation(R_0006_0017__SPECULATION)
      & has_emb(R_0006_0017__SPECULATION,Z_0006_5009)
      & z_0006_5009(Z_0006_5009)
      & has_conj1(Z_0006_5009,R_0006_0026__AVOID)
      & r_0006_0026__avoid(R_0006_0026__AVOID)
      & has_arg1(R_0006_0026__AVOID,R_0006_0027__KILLING)
      & r_0006_0027__killing(R_0006_0027__KILLING)
      & has_arg1(R_0006_0027__KILLING,R_0006_0028__THE_R_0006_0029__YOUTH)
      & has_arg0(R_0006_0027__KILLING,R_0006_0019__THE_R_0006_0020__FIRING_R_0006_0021__SQUAD)
      & has_arg0(R_0006_0026__AVOID,R_0006_0019__THE_R_0006_0020__FIRING_R_0006_0021__SQUAD)
      & has_conj2(Z_0006_5009,R_0006_0022__HAD_R_0006_0023__FIRED)
      & r_0006_0022__had_r_0006_0023__fired(R_0006_0022__HAD_R_0006_0023__FIRED)
      & has_nim(R_0006_0022__HAD_R_0006_0023__FIRED,R_0006_0024__WIDE)
      & has_arg0(R_0006_0022__HAD_R_0006_0023__FIRED,R_0006_0019__THE_R_0006_0020__FIRING_R_0006_0021__SQUAD)
      & has_conj2(Z_0006_5002,R_0006_0008__NOT)
      & ~ ? [R_0006_0002__RUMOURS,R_0006_0006__THEM,R_0006_0004__ONE,R_0006_0012__THIRD,R_0006_0011__THE_R_0006_0013__VOLLEY,R_0006_0007__DID_R_0006_0009__DIE] :
            ( r_0006_0002__rumours(R_0006_0002__RUMOURS)
            & r_0006_0006__them(R_0006_0006__THEM)
            & r_0006_0012__third(R_0006_0012__THIRD)
            & r_0006_0007__did_r_0006_0009__die(R_0006_0007__DID_R_0006_0009__DIE)
            & has_r_0006_0010__until__nim(R_0006_0007__DID_R_0006_0009__DIE,R_0006_0011__THE_R_0006_0013__VOLLEY)
            & r_0006_0011__the_r_0006_0013__volley(R_0006_0011__THE_R_0006_0013__VOLLEY)
            & has_attrib(R_0006_0011__THE_R_0006_0013__VOLLEY,R_0006_0012__THIRD)
            & has_arg0(R_0006_0007__DID_R_0006_0009__DIE,R_0006_0004__ONE)
            & r_0006_0004__one(R_0006_0004__ONE)
            & has_r_0006_0005__of(R_0006_0004__ONE,R_0006_0006__THEM)
            & has_r_0006_0001__According_to__nim(R_0006_0007__DID_R_0006_0009__DIE,R_0006_0002__RUMOURS) ) ) ).