TSPC 10_a_lob

10_a_lob_g01
When all seemed to be going well, a sortie surprised the Earl of Arundel, who at that moment had charge of the mine; the mine collapsed, and with it Gaunt's hopes of fame and glory.

arc(r_0010_0001__When, r_0010_0002__all_quant, restriction).
arc(r_0010_0001__When, r_0010_0011__surprised, scope).
arc(r_0010_0002__all_quant, r_0010_0003__seemed, scope).
arc(r_0010_0002__all_quant, z_000_10_a_lob_g01_8, restriction).
arc(r_0010_0003__seemed, r_0010_0004__to_r_0010_0005__be, scope).
arc(r_0010_0004__to_r_0010_0005__be, r_0010_0006__going, scope).
arc(r_0010_0006__going, r_0010_0007__well, nim21).
arc(r_0010_0006__going, z_000_10_a_lob_g01_8, arg0).
arc(r_0010_0011__surprised, r_0010_0009__a_r_0010_0010__sortie, arg0).
arc(r_0010_0011__surprised, r_0010_0012__the_r_0010_0013__Earl, arg1).
arc(r_0010_0012__the_r_0010_0013__Earl, r_0010_0015__Arundel, r_0010_0014__of).
arc(r_0010_0021__had, r_0010_0012__the_r_0010_0013__Earl, arg0).
arc(r_0010_0021__had, r_0010_0019__that_r_0010_0020__moment, r_0010_0018__at_nim53).
arc(r_0010_0021__had, r_0010_0022__charge, arg1).
arc(r_0010_0022__charge, r_0010_0024__the_r_0010_0025__mine, r_0010_0023__of).
arc(r_0010_0029__collapsed, r_0010_0027__the_r_0010_0028__mine, arg0).
arc(r_0010_0031__and, r_0010_0029__collapsed, conj1).
arc(r_0010_0031__and, z_000_10_a_lob_g01_89, conj2).
arc(r_0010_0036__hopes, r_0010_0034__Gaunt_r_0010_0035___apos_s, gen).
arc(r_0010_0036__hopes, r_0010_0039__and, r_0010_0037__of).
arc(r_0010_0039__and, r_0010_0038__fame, conj1).
arc(r_0010_0039__and, r_0010_0040__glory, conj2).
arc(z_000_10_a_lob_g01_2, r_0010_0001__When, conj1).
arc(z_000_10_a_lob_g01_2, r_0010_0031__and, conj2).
arc(z_000_10_a_lob_g01_89, r_0010_0024__the_r_0010_0025__mine, r_0010_0032__with_nim93).
arc(z_000_10_a_lob_g01_89, r_0010_0036__hopes, arg0).

fof(formula,axiom,
    ? [R_10_21_HAD,R_10_12_THE_EARL,R_10_15_ARUNDEL,R_10_22_CHARGE,R_10_19_THAT_MOMENT,Z_10_A_LOB_G01_2,R_10_31_AND,R_10_29_COLLAPSED,R_10_27_THE_MINE,Z_10_A_LOB_G01_89,R_10_36_HOPES,R_10_34_GAUNT_APOS_S,R_10_39_AND,R_10_38_FAME,R_10_40_GLORY,R_10_24_THE_MINE] :
      ( arundel(R_10_15_ARUNDEL)
      & that_moment(R_10_19_THAT_MOMENT)
      & the_mine(R_10_27_THE_MINE)
      & gaunt_apos_s(R_10_34_GAUNT_APOS_S)
      & fame(R_10_38_FAME)
      & glory(R_10_40_GLORY)
      & the_mine(R_10_24_THE_MINE)
      & had(R_10_21_HAD,R_10_12_THE_EARL,R_10_22_CHARGE)
      & the_Earl(R_10_12_THE_EARL)
      & of(R_10_12_THE_EARL,R_10_15_ARUNDEL)
      & charge(R_10_22_CHARGE)
      & of(R_10_22_CHARGE,R_10_24_THE_MINE)
      & at_nim53(R_10_21_HAD,R_10_19_THAT_MOMENT)
      & ( ! [Z_10_A_LOB_G01_8] :
            ( true
           => ? [R_10_3_SEEMED_TO_BE_GOING,R_10_7_WELL] :
                ( well(R_10_7_WELL)
                & seemed_to_be_going(R_10_3_SEEMED_TO_BE_GOING,Z_10_A_LOB_G01_8)
                & nim21(R_10_3_SEEMED_TO_BE_GOING,R_10_7_WELL) ) )
       => ? [R_10_11_SURPRISED,R_10_9_A_SORTIE] :
            ( a_sortie(R_10_9_A_SORTIE)
            & surprised(R_10_11_SURPRISED,R_10_9_A_SORTIE,R_10_12_THE_EARL) ) )
      & conj1(CONJ1)
      & z_10_a_lob_g01_2(Z_10_A_LOB_G01_2)
      & conj2(Z_10_A_LOB_G01_2,R_10_31_AND)
      & and(R_10_31_AND)
      & conj1(R_10_31_AND,R_10_29_COLLAPSED)
      & collapsed(R_10_29_COLLAPSED,R_10_27_THE_MINE)
      & conj2(R_10_31_AND,Z_10_A_LOB_G01_89)
      & z_10_a_lob_g01_89(Z_10_A_LOB_G01_89,R_10_36_HOPES)
      & hopes(R_10_36_HOPES)
      & gen(R_10_36_HOPES,R_10_34_GAUNT_APOS_S)
      & of(R_10_36_HOPES,R_10_39_AND)
      & and(R_10_39_AND)
      & conj1(R_10_39_AND,R_10_38_FAME)
      & conj2(R_10_39_AND,R_10_40_GLORY)
      & with_nim93(Z_10_A_LOB_G01_89,R_10_24_THE_MINE) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN When;{when})
                               (IP-ADV (NP-SBJ (Q;_nphd_ all;{all}))
                                       (VBD;_cat_Vt_ seemed;{seem})
                                       (IP-INF-CAT (TO to;{to})
                                                   (BE;_cat_Vg_ be;{be})
                                                   (IP-PPL-CAT (VAG;_I_ going;{go})
                                                               (ADVP-NIM (ADV well;{well}))))))
                      (PUNC ,)
                      (NP-SBJ (D a;{a})
                              (N sortie;{sortie}))
                      (VBD;_Tn_ surprised;{surprise})
                      (NP-OB1 (D the;{the})
                              (N Earl;{earl})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR Arundel;{Arundel})))
                              (PUNC ,)
                              (IP-REL (NP-SBJ (RPRO who;{who}))
                                      (PP-NIM (P-ROLE at;{at})
                                              (NP (D that;{that})
                                                  (N moment;{moment})))
                                      (HVD;_Tn_ had;{have})
                                      (NP-OB1 (N charge;{charge})
                                              (PP (P-ROLE of;{of})
                                                  (NP;{MINE} (D the;{the})
                                                             (N mine;{mine})))))))
                (PUNC ;)
                (CONJP (ILYR (ILYR (ILYR (NP-SBJ;{MINE} (D the;{the})
                                                        (N mine;{mine}))
                                         (VBD;_I_ collapsed;{collapse}))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (PP-NIM (P-ROLE with;{with})
                                                        (NP;{MINE} (PRO it;{it})))
                                                (NP-SBJ (NP-GEN;{GAUNT} (NPR Gaunt;{Gaunt})
                                                                        (GENM <apos>s))
                                                        (NS hopes;{hope})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (NLYR (NLYR (N fame;{fame}))
                                                                      (CONJP (CONJ and;{and})
                                                                             (NLYR (N glory;{glory})))))))))))))
          (PUNC .))
  (ID 10_a_lob_g01))