arc(utterance_9_a_lob_n02_4, r_0009_0005__just_r_0009_0006__as, part1).
arc(r_0009_0003__caught, r_0009_0004__him, arg1).
arc(r_0009_0003__caught, r_0009_0018__he, arg0).
arc(r_0009_0005__just_r_0009_0006__as, r_0009_0003__caught, scope).
arc(r_0009_0005__just_r_0009_0006__as, z_000_9_a_lob_n02_36, restriction).
arc(r_0009_0008__was, r_0009_0009__going, scope).
arc(r_0009_0009__going, r_0009_0007__he, arg0).
arc(r_0009_0009__going, r_0009_0011__the_r_0009_0012__airport, r_0009_0010__to_clr31).
arc(r_0009_0013__to_r_0009_0014__meet, r_0009_0007__he, arg0).
arc(r_0009_0013__to_r_0009_0014__meet, r_0009_0015__Blanche, arg1).
arc(r_0009_0019__said, utterance_9_a_lob_n02_4, arg1).
arc(r_0009_0019__said, r_0009_0018__he, arg0).
arc(z_000_9_a_lob_n02_36, r_0009_0008__was, scope).
arc(z_000_9_a_lob_n02_36, r_0009_0013__to_r_0009_0014__meet, restriction).

fof(formula,axiom,
    ? [R_0009_0004__HIM,R_0009_0018__HE,R_0009_0003__CAUGHT,R_0009_0007__HE,R_0009_0011__THE_R_0009_0012__AIRPORT,R_0009_0008__WAS_R_0009_0009__GOING,R_0009_0015__BLANCHE,R_0009_0013__TO_R_0009_0014__MEET,Z_000_9_A_LOB_N02_36,R_0009_0005__JUST_R_0009_0006__AS,UTTERANCE_9_A_LOB_N02_4,R_0009_0019__SAID] :
      ( r_0009_0004__him(R_0009_0004__HIM)
      & r_0009_0007__he(R_0009_0007__HE)
      & 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_0018__he(R_0009_0018__HE)
      & r_0009_0019__said(R_0009_0019__SAID)
      & has_arg0(R_0009_0019__SAID,R_0009_0018__HE)
      & has_arg1(R_0009_0019__SAID,UTTERANCE_9_A_LOB_N02_4)
      & utterance_9_a_lob_n02_4(UTTERANCE_9_A_LOB_N02_4)
      & has_part1(UTTERANCE_9_A_LOB_N02_4,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_000_9_A_LOB_N02_36)
      & z_000_9_a_lob_n02_36(Z_000_9_A_LOB_N02_36)
      & has_conj1(Z_000_9_A_LOB_N02_36,R_0009_0013__TO_R_0009_0014__MEET)
      & r_0009_0013__to_r_0009_0014__meet(R_0009_0013__TO_R_0009_0014__MEET)
      & has_arg1(R_0009_0013__TO_R_0009_0014__MEET,R_0009_0015__BLANCHE)
      & has_arg0(R_0009_0013__TO_R_0009_0014__MEET,R_0009_0007__HE)
      & has_conj2(Z_000_9_A_LOB_N02_36,R_0009_0008__WAS_R_0009_0009__GOING)
      & r_0009_0008__was_r_0009_0009__going(R_0009_0008__WAS_R_0009_0009__GOING)
      & has_r_0009_0010__to_clr31(R_0009_0008__WAS_R_0009_0009__GOING,R_0009_0011__THE_R_0009_0012__AIRPORT)
      & has_arg0(R_0009_0008__WAS_R_0009_0009__GOING,R_0009_0007__HE)
      & has_conj2(R_0009_0005__JUST_R_0009_0006__AS,R_0009_0003__CAUGHT)
      & r_0009_0003__caught(R_0009_0003__CAUGHT)
      & has_arg0(R_0009_0003__CAUGHT,R_0009_0018__HE)
      & has_arg1(R_0009_0003__CAUGHT,R_0009_0004__HIM) ) ).

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