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.

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

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_0010_5005,restriction).
arc(r_0010_0003__seemed,r_0010_0005__be,scope).
arc(r_0010_0005__be,r_0010_0006__going,scope).
arc(r_0010_0006__going,r_0010_0007__well,nim).
arc(r_0010_0006__going,z_0010_5005,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__nim).
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_0024__the_r_0010_0025__mine,arg0).
arc(r_0010_0031__and,r_0010_0029__collapsed,conj1).
arc(r_0010_0031__and,z_0010_5026,conj2).
arc(r_0010_0036__hopes,r_0010_0034__Gaunt,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_0010_5001,r_0010_0001__When,conj1).
arc(z_0010_5001,r_0010_0031__and,conj2).
arc(z_0010_5026,r_0010_0024__the_r_0010_0025__mine,r_0010_0032__with__nim).
arc(z_0010_5026,r_0010_0036__hopes,arg0).

fof(formula,axiom,
    ? [R_0010_0015__ARUNDEL,R_0010_0012__THE_R_0010_0013__EARL,R_0010_0019__THAT_R_0010_0020__MOMENT,R_0010_0024__THE_R_0010_0025__MINE,R_0010_0022__CHARGE,R_0010_0021__HAD,R_0010_0029__COLLAPSED,R_0010_0034__GAUNT,R_0010_0038__FAME,R_0010_0040__GLORY,R_0010_0039__AND,R_0010_0036__HOPES,Z_0010_5026,R_0010_0031__AND,Z_0010_5001] :
      ( r_0010_0015__Arundel(R_0010_0015__ARUNDEL)
      & r_0010_0019__that_r_0010_0020__moment(R_0010_0019__THAT_R_0010_0020__MOMENT)
      & r_0010_0024__the_r_0010_0025__mine(R_0010_0024__THE_R_0010_0025__MINE)
      & r_0010_0034__Gaunt(R_0010_0034__GAUNT)
      & r_0010_0038__fame(R_0010_0038__FAME)
      & r_0010_0040__glory(R_0010_0040__GLORY)
      & z_0010_5001(Z_0010_5001)
      & has_conj2(Z_0010_5001,R_0010_0031__AND)
      & r_0010_0031__and(R_0010_0031__AND)
      & has_conj2(R_0010_0031__AND,Z_0010_5026)
      & z_0010_5026(Z_0010_5026)
      & has_arg0(Z_0010_5026,R_0010_0036__HOPES)
      & r_0010_0036__hopes(R_0010_0036__HOPES)
      & has_r_0010_0037__of(R_0010_0036__HOPES,R_0010_0039__AND)
      & r_0010_0039__and(R_0010_0039__AND)
      & has_conj2(R_0010_0039__AND,R_0010_0040__GLORY)
      & has_conj1(R_0010_0039__AND,R_0010_0038__FAME)
      & has_gen(R_0010_0036__HOPES,R_0010_0034__GAUNT)
      & has_r_0010_0032__with__nim(Z_0010_5026,R_0010_0024__THE_R_0010_0025__MINE)
      & has_conj1(R_0010_0031__AND,R_0010_0029__COLLAPSED)
      & r_0010_0029__collapsed(R_0010_0029__COLLAPSED)
      & has_arg0(R_0010_0029__COLLAPSED,R_0010_0024__THE_R_0010_0025__MINE)
      & ! [R_0010_0002__ALL__QUANT] :
          ( ! [Z_0010_5005] :
              ( z_0010_5005(Z_0010_5005)
             => ? [R_0010_0007__WELL,R_0010_0003__SEEMED_R_0010_0005__BE_R_0010_0006__GOING] :
                  ( r_0010_0007__well(R_0010_0007__WELL)
                  & r_0010_0003__seemed_r_0010_0005__be_r_0010_0006__going(R_0010_0003__SEEMED_R_0010_0005__BE_R_0010_0006__GOING)
                  & has_arg0(R_0010_0003__SEEMED_R_0010_0005__BE_R_0010_0006__GOING,Z_0010_5005)
                  & has_nim(R_0010_0003__SEEMED_R_0010_0005__BE_R_0010_0006__GOING,R_0010_0007__WELL) ) )
         => ? [R_0010_0009__A_R_0010_0010__SORTIE,R_0010_0011__SURPRISED] :
              ( r_0010_0009__a_r_0010_0010__sortie(R_0010_0009__A_R_0010_0010__SORTIE)
              & r_0010_0011__surprised(R_0010_0011__SURPRISED)
              & has_arg1(R_0010_0011__SURPRISED,R_0010_0012__THE_R_0010_0013__EARL)
              & has_arg0(R_0010_0011__SURPRISED,R_0010_0009__A_R_0010_0010__SORTIE) ) )
      & r_0010_0021__had(R_0010_0021__HAD)
      & has_arg1(R_0010_0021__HAD,R_0010_0022__CHARGE)
      & r_0010_0022__charge(R_0010_0022__CHARGE)
      & has_r_0010_0023__of(R_0010_0022__CHARGE,R_0010_0024__THE_R_0010_0025__MINE)
      & has_r_0010_0018__at__nim(R_0010_0021__HAD,R_0010_0019__THAT_R_0010_0020__MOMENT)
      & has_arg0(R_0010_0021__HAD,R_0010_0012__THE_R_0010_0013__EARL)
      & r_0010_0012__the_r_0010_0013__Earl(R_0010_0012__THE_R_0010_0013__EARL)
      & has_r_0010_0014__of(R_0010_0012__THE_R_0010_0013__EARL,R_0010_0015__ARUNDEL) ) ).