TSPC 43_a_hardy

43_a_hardy_1883
But Elijah and the boy, in the excitement of their position, quite forgot the injunction.

( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (NLYR (NLYR (NPR Elijah;{Elijah}))
                        (CONJP (CONJ and;{and})
                               (NLYR (D the;{the})
                                     (N boy;{boy})))))
          (PUNC ,)
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N excitement;{excitement})
                      (PP (P-ROLE of;{of})
                          (NP (NP-GEN (PRO;_genm_ their;{their}))
                              (N position;{position})))))
          (PUNC ,)
          (ADVP-NIM (ADV quite;{quite}))
          (VBD;__ forgot;{forget})
          (NP-OB1 (D the;{the})
                  (N injunction;{injunction}))
          (PUNC .))
  (ID 43_a_hardy_1883))

arc(r_0043_0003__and,r_0043_0002__Elijah,conj1).
arc(r_0043_0003__and,r_0043_0004__the_r_0043_0005__boy,conj2).
arc(r_0043_0008__the_r_0043_0009__excitement,r_0043_0012__position,r_0043_0010__of).
arc(r_0043_0012__position,r_0043_0011__their,gen).
arc(r_0043_0015__forgot,r_0043_0003__and,arg0).
arc(r_0043_0015__forgot,r_0043_0008__the_r_0043_0009__excitement,r_0043_0007__in__nim).
arc(r_0043_0015__forgot,r_0043_0014__quite,nim).
arc(r_0043_0015__forgot,r_0043_0016__the_r_0043_0017__injunction,arg1).

fof(formula,axiom,
    ? [R_0043_0002__ELIJAH,R_0043_0004__THE_R_0043_0005__BOY,R_0043_0003__AND,R_0043_0011__THEIR,R_0043_0012__POSITION,R_0043_0008__THE_R_0043_0009__EXCITEMENT,R_0043_0014__QUITE,R_0043_0016__THE_R_0043_0017__INJUNCTION,R_0043_0015__FORGOT] :
      ( r_0043_0002__Elijah(R_0043_0002__ELIJAH)
      & r_0043_0004__the_r_0043_0005__boy(R_0043_0004__THE_R_0043_0005__BOY)
      & r_0043_0011__their(R_0043_0011__THEIR)
      & r_0043_0014__quite(R_0043_0014__QUITE)
      & r_0043_0016__the_r_0043_0017__injunction(R_0043_0016__THE_R_0043_0017__INJUNCTION)
      & r_0043_0015__forgot(R_0043_0015__FORGOT)
      & has_arg1(R_0043_0015__FORGOT,R_0043_0016__THE_R_0043_0017__INJUNCTION)
      & has_nim(R_0043_0015__FORGOT,R_0043_0014__QUITE)
      & has_r_0043_0007__in__nim(R_0043_0015__FORGOT,R_0043_0008__THE_R_0043_0009__EXCITEMENT)
      & r_0043_0008__the_r_0043_0009__excitement(R_0043_0008__THE_R_0043_0009__EXCITEMENT)
      & has_r_0043_0010__of(R_0043_0008__THE_R_0043_0009__EXCITEMENT,R_0043_0012__POSITION)
      & r_0043_0012__position(R_0043_0012__POSITION)
      & has_gen(R_0043_0012__POSITION,R_0043_0011__THEIR)
      & has_arg0(R_0043_0015__FORGOT,R_0043_0003__AND)
      & r_0043_0003__and(R_0043_0003__AND)
      & has_conj2(R_0043_0003__AND,R_0043_0004__THE_R_0043_0005__BOY)
      & has_conj1(R_0043_0003__AND,R_0043_0002__ELIJAH) ) ).