TSPC 6_a_joseph

6_a_joseph_byers
According to rumours, one of them did not die until the third volley, leading to speculation that the firing squad had fired wide to avoid killing the youth.

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_nim5).
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_nim28).
arc(r_0006_0008__not, z_000_6_a_joseph_byers_38, keep_scope).
arc(r_0006_0011__the_r_0006_0013__volley, r_0006_0012__third, attrib31).
arc(r_0006_0015__leading, r_0006_0017__speculation, r_0006_0016__to_clr45).
arc(r_0006_0015__leading, z_000_6_a_joseph_byers_39, arg0).
arc(r_0006_0017__speculation, z_000_6_a_joseph_byers_67, emb49).
arc(r_0006_0018__that_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, nim64).
arc(r_0006_0025__to_r_0006_0026__avoid, r_0006_0019__the_r_0006_0020__firing_r_0006_0021__squad, arg0).
arc(r_0006_0025__to_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_000_6_a_joseph_byers_38, r_0006_0007__did_r_0006_0009__die, scope).
arc(z_000_6_a_joseph_byers_38, r_0006_0015__leading, restriction).
arc(z_000_6_a_joseph_byers_67, r_0006_0018__that_r_0006_0022__had, scope).
arc(z_000_6_a_joseph_byers_67, r_0006_0025__to_r_0006_0026__avoid, restriction).

fof(formula,axiom,
    ~ ? [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_0019__THE_R_0006_0020__FIRING_R_0006_0021__SQUAD,R_0006_0024__WIDE,R_0006_0018__THAT_R_0006_0022__HAD_R_0006_0023__FIRED,R_0006_0028__THE_R_0006_0029__YOUTH,R_0006_0027__KILLING,R_0006_0025__TO_R_0006_0026__AVOID,Z_000_6_A_JOSEPH_BYERS_67,R_0006_0017__SPECULATION,Z_000_6_A_JOSEPH_BYERS_39,R_0006_0015__LEADING,Z_000_6_A_JOSEPH_BYERS_38] :
        ( 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_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_000_6_a_joseph_byers_39(Z_000_6_A_JOSEPH_BYERS_39)
        & z_000_6_a_joseph_byers_38(Z_000_6_A_JOSEPH_BYERS_38)
        & has_conj1(Z_000_6_A_JOSEPH_BYERS_38,R_0006_0015__LEADING)
        & r_0006_0015__leading(R_0006_0015__LEADING)
        & has_arg0(R_0006_0015__LEADING,Z_000_6_A_JOSEPH_BYERS_39)
        & has_r_0006_0016__to_clr45(R_0006_0015__LEADING,R_0006_0017__SPECULATION)
        & r_0006_0017__speculation(R_0006_0017__SPECULATION)
        & has_emb49(R_0006_0017__SPECULATION,Z_000_6_A_JOSEPH_BYERS_67)
        & z_000_6_a_joseph_byers_67(Z_000_6_A_JOSEPH_BYERS_67)
        & has_conj1(Z_000_6_A_JOSEPH_BYERS_67,R_0006_0025__TO_R_0006_0026__AVOID)
        & r_0006_0025__to_r_0006_0026__avoid(R_0006_0025__TO_R_0006_0026__AVOID)
        & has_arg1(R_0006_0025__TO_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_0025__TO_R_0006_0026__AVOID,R_0006_0019__THE_R_0006_0020__FIRING_R_0006_0021__SQUAD)
        & has_conj2(Z_000_6_A_JOSEPH_BYERS_67,R_0006_0018__THAT_R_0006_0022__HAD_R_0006_0023__FIRED)
        & r_0006_0018__that_r_0006_0022__had_r_0006_0023__fired(R_0006_0018__THAT_R_0006_0022__HAD_R_0006_0023__FIRED)
        & has_nim64(R_0006_0018__THAT_R_0006_0022__HAD_R_0006_0023__FIRED,R_0006_0024__WIDE)
        & has_arg0(R_0006_0018__THAT_R_0006_0022__HAD_R_0006_0023__FIRED,R_0006_0019__THE_R_0006_0020__FIRING_R_0006_0021__SQUAD)
        & has_conj2(Z_000_6_A_JOSEPH_BYERS_38,R_0006_0007__DID_R_0006_0009__DIE)
        & r_0006_0007__did_r_0006_0009__die(R_0006_0007__DID_R_0006_0009__DIE)
        & has_r_0006_0010__until_nim28(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_attrib31(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_nim5(R_0006_0007__DID_R_0006_0009__DIE,R_0006_0002__RUMOURS) ) ).

( (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))