TSPC 49_a_lob

49_a_lob_n01
It had passed him at the temporary bridge over the Tartaro at a few minutes past ten on the previous night.

( (IP-MAT (NP-SBJ;{BENTLEY} (PRO It;{it}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;_Tn_ passed;{pass})
                      (NP-OB1;{GEOFFREY} (PRO him;{he}))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (ADJP (ADJ temporary;{temporary}))
                                  (N bridge;{bridge})
                                  (PP (P-ROLE over;{over})
                                      (NP (D the;{the})
                                          (N Tartaro;{tartaro})))))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (D a_few;{a_few})
                                  (NS minutes;{minute})
                                  (PP (P-ROLE past;{past})
                                      (NP (NUM ten;{ten})
                                          (PP (P-ROLE on;{on})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ previous;{previous}))
                                                  (N night;{night}))))))))
          (PUNC .))
  (ID 49_a_lob_n01))

arc(r_0049_0002__had,r_0049_0003__passed,scope).
arc(r_0049_0003__passed,r_0049_0001__It,arg0).
arc(r_0049_0003__passed,r_0049_0004__him,arg1).
arc(r_0049_0003__passed,r_0049_0006__the_r_0049_0008__bridge,r_0049_0005__at__nim).
arc(r_0049_0003__passed,r_0049_0013__a_few_r_0049_0014__minutes,r_0049_0012__at__nim).
arc(r_0049_0006__the_r_0049_0008__bridge,r_0049_0007__temporary,attrib).
arc(r_0049_0006__the_r_0049_0008__bridge,r_0049_0010__the_r_0049_0011__Tartaro,r_0049_0009__over).
arc(r_0049_0013__a_few_r_0049_0014__minutes,r_0049_0016__ten,r_0049_0015__past).
arc(r_0049_0016__ten,r_0049_0018__the_r_0049_0020__night,r_0049_0017__on).
arc(r_0049_0018__the_r_0049_0020__night,r_0049_0019__previous,attrib).

fof(formula,axiom,
    ? [R_0049_0001__IT,R_0049_0004__HIM,R_0049_0007__TEMPORARY,R_0049_0010__THE_R_0049_0011__TARTARO,R_0049_0006__THE_R_0049_0008__BRIDGE,R_0049_0019__PREVIOUS,R_0049_0018__THE_R_0049_0020__NIGHT,R_0049_0016__TEN,R_0049_0013__A_FEW_R_0049_0014__MINUTES,R_0049_0002__HAD_R_0049_0003__PASSED] :
      ( r_0049_0001__It(R_0049_0001__IT)
      & r_0049_0004__him(R_0049_0004__HIM)
      & r_0049_0007__temporary(R_0049_0007__TEMPORARY)
      & r_0049_0010__the_r_0049_0011__Tartaro(R_0049_0010__THE_R_0049_0011__TARTARO)
      & r_0049_0019__previous(R_0049_0019__PREVIOUS)
      & r_0049_0002__had_r_0049_0003__passed(R_0049_0002__HAD_R_0049_0003__PASSED)
      & has_r_0049_0012__at__nim(R_0049_0002__HAD_R_0049_0003__PASSED,R_0049_0013__A_FEW_R_0049_0014__MINUTES)
      & r_0049_0013__a_few_r_0049_0014__minutes(R_0049_0013__A_FEW_R_0049_0014__MINUTES)
      & has_r_0049_0015__past(R_0049_0013__A_FEW_R_0049_0014__MINUTES,R_0049_0016__TEN)
      & r_0049_0016__ten(R_0049_0016__TEN)
      & has_r_0049_0017__on(R_0049_0016__TEN,R_0049_0018__THE_R_0049_0020__NIGHT)
      & r_0049_0018__the_r_0049_0020__night(R_0049_0018__THE_R_0049_0020__NIGHT)
      & has_attrib(R_0049_0018__THE_R_0049_0020__NIGHT,R_0049_0019__PREVIOUS)
      & has_r_0049_0005__at__nim(R_0049_0002__HAD_R_0049_0003__PASSED,R_0049_0006__THE_R_0049_0008__BRIDGE)
      & r_0049_0006__the_r_0049_0008__bridge(R_0049_0006__THE_R_0049_0008__BRIDGE)
      & has_r_0049_0009__over(R_0049_0006__THE_R_0049_0008__BRIDGE,R_0049_0010__THE_R_0049_0011__TARTARO)
      & has_attrib(R_0049_0006__THE_R_0049_0008__BRIDGE,R_0049_0007__TEMPORARY)
      & has_arg1(R_0049_0002__HAD_R_0049_0003__PASSED,R_0049_0004__HIM)
      & has_arg0(R_0049_0002__HAD_R_0049_0003__PASSED,R_0049_0001__IT) ) ).