arc(utterance_40_a_lob_n01_4, r_0040_0003___apos_re, part1).
arc(r_0040_0003___apos_re, r_0040_0002__We, arg0).
arc(r_0040_0003___apos_re, r_0040_0005__ahead, clr11).
arc(r_0040_0005__ahead, r_0040_0004__a_bit, nim12).
arc(r_0040_0005__ahead, r_0040_0007__time, r_0040_0006__of).
arc(r_0040_0010__said, utterance_40_a_lob_n01_4, arg1).
arc(r_0040_0010__said, r_0040_0011__Alastair, arg0).

fof(formula,axiom,
    ? [R_40_10_SAID,R_40_11_ALASTAIR,UTTERANCE_40_A_LOB_N01_4,R_40_3__APOS_RE,R_40_2_WE,R_40_5_AHEAD,R_40_4_A_BIT,R_40_7_TIME] :
      ( alastair(R_40_11_ALASTAIR)
      & we(R_40_2_WE)
      & a_bit(R_40_4_A_BIT)
      & time(R_40_7_TIME)
      & said(R_40_10_SAID,R_40_11_ALASTAIR,UTTERANCE_40_A_LOB_N01_4)
      & utterance_40_a_lob_n01_4(UTTERANCE_40_A_LOB_N01_4)
      & part1(UTTERANCE_40_A_LOB_N01_4,R_40_3__APOS_RE)
      & _apos_re(R_40_3__APOS_RE,R_40_2_WE)
      & clr11(R_40_3__APOS_RE,R_40_5_AHEAD)
      & ahead(R_40_5_AHEAD)
      & nim12(R_40_5_AHEAD,R_40_4_A_BIT)
      & of(R_40_5_AHEAD,R_40_7_TIME) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{ALASTAIR_GEOFFREY} (PRO We;{we}))
                                 (BEP;__ <apos>re;{be})
                                 (ADVP-CLR (NP (D;_nphd_ a_bit;{a_bit}))
                                           (ADV ahead;{ahead})
                                           (PP (P-ROLE of;{of})
                                               (NP (N time;{time}))))))
          (PUNC ,)
          (PURQ <rquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
          (PUNC .))
  (ID 40_a_lob_n01))