TSPC 75_a_lob

75_a_lob_n01
During the earlier part of their flight from Boscombe Down he had repeated the gist of his third conversation with her.

( (IP-MAT (PP-NIM (P-ROLE During;{during})
                  (NP (D the;{the})
                      (ADJP (ADJR earlier;{early}))
                      (N part;{part})
                      (PP (P-ROLE of;{of})
                          (NP (NP-GEN;{ALASTAIR+GEOFFREY} (PRO;_genm_ their;{their}))
                              (N flight;{flight})
                              (PP (P-ROLE from;{from})
                                  (NP (NPR Boscombe;{Boscombe})
                                      (NPR Down;{Down})))))))
          (NP-SBJ;{ALASTAIR} (PRO he;{he}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;_Tn_ repeated;{repeat})
                      (NP-OB1 (D the;{the})
                              (N gist;{gist})
                              (PP (P-ROLE of;{of})
                                  (NP (NP-GEN;{ALASTAIR} (PRO;_genm_ his;{his}))
                                      (NUM third;{third})
                                      (N conversation;{conversation})
                                      (PP (P-ROLE with;{with})
                                          (NP;{GLORIA} (PRO her;{her})))))))
          (PUNC .))
  (ID 75_a_lob_n01))

arc(r_0075_0002__the_r_0075_0004__part,r_0075_0003__earlier,attrib).
arc(r_0075_0002__the_r_0075_0004__part,r_0075_0007__flight,r_0075_0005__of).
arc(r_0075_0007__flight,r_0075_0006__their,gen).
arc(r_0075_0007__flight,r_0075_0009__Boscombe_r_0075_0010__Down,r_0075_0008__from).
arc(r_0075_0012__had,r_0075_0002__the_r_0075_0004__part,r_0075_0001__During__nim).
arc(r_0075_0012__had,r_0075_0013__repeated,scope).
arc(r_0075_0013__repeated,r_0075_0011__he,arg0).
arc(r_0075_0013__repeated,r_0075_0014__the_r_0075_0015__gist,arg1).
arc(r_0075_0014__the_r_0075_0015__gist,r_0075_0018__third_r_0075_0019__conversation,r_0075_0016__of).
arc(r_0075_0018__third_r_0075_0019__conversation,r_0075_0011__he,gen).
arc(r_0075_0018__third_r_0075_0019__conversation,r_0075_0021__her,r_0075_0020__with).

fof(formula,axiom,
    ? [R_0075_0003__EARLIER,R_0075_0006__THEIR,R_0075_0009__BOSCOMBE_R_0075_0010__DOWN,R_0075_0007__FLIGHT,R_0075_0002__THE_R_0075_0004__PART,R_0075_0011__HE,R_0075_0021__HER,R_0075_0018__THIRD_R_0075_0019__CONVERSATION,R_0075_0014__THE_R_0075_0015__GIST,R_0075_0012__HAD_R_0075_0013__REPEATED] :
      ( r_0075_0003__earlier(R_0075_0003__EARLIER)
      & r_0075_0006__their(R_0075_0006__THEIR)
      & r_0075_0009__Boscombe_r_0075_0010__Down(R_0075_0009__BOSCOMBE_R_0075_0010__DOWN)
      & r_0075_0011__he(R_0075_0011__HE)
      & r_0075_0021__her(R_0075_0021__HER)
      & r_0075_0012__had_r_0075_0013__repeated(R_0075_0012__HAD_R_0075_0013__REPEATED)
      & has_arg1(R_0075_0012__HAD_R_0075_0013__REPEATED,R_0075_0014__THE_R_0075_0015__GIST)
      & r_0075_0014__the_r_0075_0015__gist(R_0075_0014__THE_R_0075_0015__GIST)
      & has_r_0075_0016__of(R_0075_0014__THE_R_0075_0015__GIST,R_0075_0018__THIRD_R_0075_0019__CONVERSATION)
      & r_0075_0018__third_r_0075_0019__conversation(R_0075_0018__THIRD_R_0075_0019__CONVERSATION)
      & has_r_0075_0020__with(R_0075_0018__THIRD_R_0075_0019__CONVERSATION,R_0075_0021__HER)
      & has_gen(R_0075_0018__THIRD_R_0075_0019__CONVERSATION,R_0075_0011__HE)
      & has_arg0(R_0075_0012__HAD_R_0075_0013__REPEATED,R_0075_0011__HE)
      & has_r_0075_0001__During__nim(R_0075_0012__HAD_R_0075_0013__REPEATED,R_0075_0002__THE_R_0075_0004__PART)
      & r_0075_0002__the_r_0075_0004__part(R_0075_0002__THE_R_0075_0004__PART)
      & has_r_0075_0005__of(R_0075_0002__THE_R_0075_0004__PART,R_0075_0007__FLIGHT)
      & r_0075_0007__flight(R_0075_0007__FLIGHT)
      & has_r_0075_0008__from(R_0075_0007__FLIGHT,R_0075_0009__BOSCOMBE_R_0075_0010__DOWN)
      & has_gen(R_0075_0007__FLIGHT,R_0075_0006__THEIR)
      & has_attrib(R_0075_0002__THE_R_0075_0004__PART,R_0075_0003__EARLIER) ) ).