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_0040_0002__WE,R_0040_0004__A_BIT,R_0040_0007__TIME,R_0040_0005__AHEAD,R_0040_0003___APOS_RE,UTTERANCE_40_A_LOB_N01_4,R_0040_0011__ALASTAIR,R_0040_0010__SAID] :
      ( r_0040_0002__We(R_0040_0002__WE)
      & r_0040_0004__a_bit(R_0040_0004__A_BIT)
      & r_0040_0007__time(R_0040_0007__TIME)
      & r_0040_0011__Alastair(R_0040_0011__ALASTAIR)
      & r_0040_0010__said(R_0040_0010__SAID)
      & has_arg0(R_0040_0010__SAID,R_0040_0011__ALASTAIR)
      & has_arg1(R_0040_0010__SAID,UTTERANCE_40_A_LOB_N01_4)
      & utterance_40_a_lob_n01_4(UTTERANCE_40_A_LOB_N01_4)
      & has_part1(UTTERANCE_40_A_LOB_N01_4,R_0040_0003___APOS_RE)
      & r_0040_0003___apos_re(R_0040_0003___APOS_RE)
      & has_clr11(R_0040_0003___APOS_RE,R_0040_0005__AHEAD)
      & r_0040_0005__ahead(R_0040_0005__AHEAD)
      & has_r_0040_0006__of(R_0040_0005__AHEAD,R_0040_0007__TIME)
      & has_nim12(R_0040_0005__AHEAD,R_0040_0004__A_BIT)
      & has_arg0(R_0040_0003___APOS_RE,R_0040_0002__WE) ) ).

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