( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{PIERS} (PRO I;{I}))
                                 (VBD;_Tn_ caught;{catch})
                                 (NP-OB1;{JACK} (PRO him;{he}))
                                 (PP-SCON (ADVP-NIM (ADV just;{just}))
                                          (P-CONN as;{as})
                                          (IP-ADV (NP-SBJ;{JACK} (PRO he;{he}))
                                                  (BED;_cat_Vg_ was;{be})
                                                  (IP-PPL-CAT (VAG;_Ipr_ going;{go[to]})
                                                              (PP-CLR (P-ROLE to;{to})
                                                                      (NP (D the;{the})
                                                                          (N airport;{airport}))))
                                                  (PP-SCON (IP-INF (TO to;{to})
                                                                   (VB;_Tn_ meet;{meet})
                                                                   (NP-OB1;{BLANCHE} (NPR Blanche;{Blanche}))))))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{PIERS} (PRO he;{he}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 9_a_lob_n02))

arc(r_0009_0003__caught,r_0009_0002__I,arg0).
arc(r_0009_0003__caught,r_0009_0004__him,arg1).
arc(r_0009_0005__just_r_0009_0006__as,r_0009_0003__caught,scope).
arc(r_0009_0005__just_r_0009_0006__as,z_0009_5005,restriction).
arc(r_0009_0008__was,r_0009_0009__going_r_0009_0010__to,scope).
arc(r_0009_0009__going_r_0009_0010__to,r_0009_0004__him,arg0).
arc(r_0009_0009__going_r_0009_0010__to,r_0009_0011__the_r_0009_0012__airport,arg1).
arc(r_0009_0014__meet,r_0009_0004__him,arg0).
arc(r_0009_0014__meet,r_0009_0015__Blanche,arg1).
arc(r_0009_0019__said,r_0009_0002__I,arg0).
arc(r_0009_0019__said,z_0009_5002__utterance,arg1).
arc(z_0009_5002__utterance,r_0009_0005__just_r_0009_0006__as,part1).
arc(z_0009_5005,r_0009_0008__was,scope).
arc(z_0009_5005,r_0009_0014__meet,restriction).

fof(formula,axiom,
    ? [R_0009_0002__I,R_0009_0004__HIM,R_0009_0003__CAUGHT,R_0009_0011__THE_R_0009_0012__AIRPORT,R_0009_0008__WAS_R_0009_0009__GOING_R_0009_0010__TO,R_0009_0015__BLANCHE,R_0009_0014__MEET,Z_0009_5005,R_0009_0005__JUST_R_0009_0006__AS,Z_0009_5002__UTTERANCE,R_0009_0019__SAID] :
      ( r_0009_0002__I(R_0009_0002__I)
      & r_0009_0004__him(R_0009_0004__HIM)
      & r_0009_0011__the_r_0009_0012__airport(R_0009_0011__THE_R_0009_0012__AIRPORT)
      & r_0009_0015__Blanche(R_0009_0015__BLANCHE)
      & r_0009_0019__said(R_0009_0019__SAID)
      & has_arg1(R_0009_0019__SAID,Z_0009_5002__UTTERANCE)
      & z_0009_5002__utterance(Z_0009_5002__UTTERANCE)
      & has_part1(Z_0009_5002__UTTERANCE,R_0009_0005__JUST_R_0009_0006__AS)
      & r_0009_0005__just_r_0009_0006__as(R_0009_0005__JUST_R_0009_0006__AS)
      & has_conj1(R_0009_0005__JUST_R_0009_0006__AS,Z_0009_5005)
      & z_0009_5005(Z_0009_5005)
      & has_conj1(Z_0009_5005,R_0009_0014__MEET)
      & r_0009_0014__meet(R_0009_0014__MEET)
      & has_arg1(R_0009_0014__MEET,R_0009_0015__BLANCHE)
      & has_arg0(R_0009_0014__MEET,R_0009_0004__HIM)
      & has_conj2(Z_0009_5005,R_0009_0008__WAS_R_0009_0009__GOING_R_0009_0010__TO)
      & r_0009_0008__was_r_0009_0009__going_r_0009_0010__to(R_0009_0008__WAS_R_0009_0009__GOING_R_0009_0010__TO)
      & has_arg1(R_0009_0008__WAS_R_0009_0009__GOING_R_0009_0010__TO,R_0009_0011__THE_R_0009_0012__AIRPORT)
      & has_arg0(R_0009_0008__WAS_R_0009_0009__GOING_R_0009_0010__TO,R_0009_0004__HIM)
      & has_conj2(R_0009_0005__JUST_R_0009_0006__AS,R_0009_0003__CAUGHT)
      & r_0009_0003__caught(R_0009_0003__CAUGHT)
      & has_arg1(R_0009_0003__CAUGHT,R_0009_0004__HIM)
      & has_arg0(R_0009_0003__CAUGHT,R_0009_0002__I)
      & has_arg0(R_0009_0019__SAID,R_0009_0002__I) ) ).