( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{ALASTAIR+GEOFFREY} (PRO We;{we}))
                                 (MD;_cat_Vi_ <apos>ll;{will})
                                 (IP-INF-CAT (VB;__ land;{land})
                                             (PP-NIM (P-ROLE in;{in})
                                                     (NP (NUM five;{five})
                                                         (NS minutes;{minute}))))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
          (VBD;_Tr_ announced;{announce})
          (PUNC .))
  (ID 102_a_lob_n01))

arc(r_0102_0003___apos_ll,r_0102_0004__land,scope).
arc(r_0102_0004__land,r_0102_0002__We,arg0).
arc(r_0102_0004__land,r_0102_0006__five_r_0102_0007__minutes,r_0102_0005__in__nim).
arc(r_0102_0011__announced,r_0102_0010__Alastair,arg0).
arc(r_0102_0011__announced,z_0102_5002__utterance,arg1).
arc(z_0102_5002__utterance,r_0102_0003___apos_ll,part1).

fof(formula,axiom,
    ? [R_0102_0010__ALASTAIR,R_0102_0002__WE,R_0102_0006__FIVE_R_0102_0007__MINUTES,R_0102_0003___APOS_LL_R_0102_0004__LAND,Z_0102_5002__UTTERANCE,R_0102_0011__ANNOUNCED] :
      ( r_0102_0002__We(R_0102_0002__WE)
      & r_0102_0006__five_r_0102_0007__minutes(R_0102_0006__FIVE_R_0102_0007__MINUTES)
      & r_0102_0010__Alastair(R_0102_0010__ALASTAIR)
      & r_0102_0011__announced(R_0102_0011__ANNOUNCED)
      & has_arg1(R_0102_0011__ANNOUNCED,Z_0102_5002__UTTERANCE)
      & z_0102_5002__utterance(Z_0102_5002__UTTERANCE)
      & has_part1(Z_0102_5002__UTTERANCE,R_0102_0003___APOS_LL_R_0102_0004__LAND)
      & r_0102_0003___apos_ll_r_0102_0004__land(R_0102_0003___APOS_LL_R_0102_0004__LAND)
      & has_r_0102_0005__in__nim(R_0102_0003___APOS_LL_R_0102_0004__LAND,R_0102_0006__FIVE_R_0102_0007__MINUTES)
      & has_arg0(R_0102_0003___APOS_LL_R_0102_0004__LAND,R_0102_0002__WE)
      & has_arg0(R_0102_0011__ANNOUNCED,R_0102_0010__ALASTAIR) ) ).