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_9_19_SAID,UTTERANCE_9_A_LOB_N02_4,R_9_5_JUST_AS,Z_9_A_LOB_N02_36,R_9_13_TO_MEET,R_9_15_BLANCHE,R_9_8_WAS_GOING,R_9_7_HE,R_9_11_THE_AIRPORT,R_9_3_CAUGHT,R_9_18_HE,R_9_4_HIM] :
      ( blanche(R_9_15_BLANCHE)
      & he(R_9_7_HE)
      & the_airport(R_9_11_THE_AIRPORT)
      & he(R_9_18_HE)
      & him(R_9_4_HIM)
      & said(R_9_19_SAID,R_9_18_HE,UTTERANCE_9_A_LOB_N02_4)
      & utterance_9_a_lob_n02_4(UTTERANCE_9_A_LOB_N02_4)
      & part1(UTTERANCE_9_A_LOB_N02_4,R_9_5_JUST_AS)
      & just_as(R_9_5_JUST_AS)
      & conj1(R_9_5_JUST_AS,Z_9_A_LOB_N02_36)
      & z_9_a_lob_n02_36(Z_9_A_LOB_N02_36)
      & conj1(Z_9_A_LOB_N02_36,R_9_13_TO_MEET)
      & to_meet(R_9_13_TO_MEET,R_9_7_HE,R_9_15_BLANCHE)
      & conj2(Z_9_A_LOB_N02_36,R_9_8_WAS_GOING)
      & was_going(R_9_8_WAS_GOING,R_9_7_HE)
      & to_clr31(R_9_8_WAS_GOING,R_9_11_THE_AIRPORT)
      & conj2(R_9_5_JUST_AS,R_9_3_CAUGHT)
      & caught(R_9_3_CAUGHT,R_9_18_HE,R_9_4_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))