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

arc(r_0040_0003___apos_re,r_0040_0002__We,arg0).
arc(r_0040_0003___apos_re,r_0040_0005__ahead,clr).
arc(r_0040_0005__ahead,r_0040_0004__a_bit,nim).
arc(r_0040_0005__ahead,r_0040_0007__time,r_0040_0006__of).
arc(r_0040_0010__said,r_0040_0011__Alastair,arg0).
arc(r_0040_0010__said,z_0040_5002__utterance,arg1).
arc(z_0040_5002__utterance,r_0040_0003___apos_re,part1).

fof(formula,axiom,
    ? [R_0040_0011__ALASTAIR,R_0040_0002__WE,R_0040_0004__A_BIT,R_0040_0007__TIME,R_0040_0005__AHEAD,R_0040_0003___APOS_RE,Z_0040_5002__UTTERANCE,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_arg1(R_0040_0010__SAID,Z_0040_5002__UTTERANCE)
      & z_0040_5002__utterance(Z_0040_5002__UTTERANCE)
      & has_part1(Z_0040_5002__UTTERANCE,R_0040_0003___APOS_RE)
      & r_0040_0003___apos_re(R_0040_0003___APOS_RE)
      & has_clr(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_nim(R_0040_0005__AHEAD,R_0040_0004__A_BIT)
      & has_arg0(R_0040_0003___APOS_RE,R_0040_0002__WE)
      & has_arg0(R_0040_0010__SAID,R_0040_0011__ALASTAIR) ) ).