arc(utterance_61_a_saint_exupery_1943_40, r_0061_0015__But_r_0061_0018__are, part1).
arc(r_0061_0002__at_last, z_000_61_a_saint_exupery_1943_2, qual5).
arc(r_0061_0004__was, r_0061_0002__at_last, nim4).
arc(r_0061_0004__was, r_0061_0003__I, arg0).
arc(r_0061_0004__was, r_0061_0005__able, prd).
arc(r_0061_0005__able, r_0061_0006__to_r_0061_0007__speak, emb18).
arc(r_0061_0006__to_r_0061_0007__speak, z_000_61_a_saint_exupery_1943_18, arg0).
arc(r_0061_0010__said, utterance_61_a_saint_exupery_1943_40, arg1).
arc(r_0061_0010__said, r_0061_0003__I, arg0).
arc(r_0061_0010__said, r_0061_0012__him, arg2).
arc(r_0061_0010__said, z_000_61_a_saint_exupery_1943_2, nim2).
arc(r_0061_0015__But_r_0061_0018__are, r_0061_0020__doing, scope).
arc(r_0061_0020__doing, r_0061_0012__him, arg0).
arc(r_0061_0020__doing, r_0061_0017__what, arg1).
arc(r_0061_0020__doing, r_0061_0021__here, nim60).

fof(formula,axiom,
    ? [R_61_4_WAS,R_61_2_AT_LAST,R_61_5_ABLE,R_61_6_TO_SPEAK,Z_61_A_SAINT_EXUPERY_1943_18,R_61_10_SAID,R_61_3_I,UTTERANCE_61_A_SAINT_EXUPERY_1943_40,R_61_15_BUT_ARE_DOING,R_61_17_WHAT,R_61_21_HERE,R_61_12_HIM,Z_61_A_SAINT_EXUPERY_1943_2] :
      ( i(R_61_3_I)
      & what(R_61_17_WHAT)
      & here(R_61_21_HERE)
      & him(R_61_12_HIM)
      & was(R_61_4_WAS,R_61_3_I,R_61_5_ABLE)
      & able(R_61_5_ABLE)
      & emb18(R_61_5_ABLE,R_61_6_TO_SPEAK)
      & to_speak(R_61_6_TO_SPEAK,Z_61_A_SAINT_EXUPERY_1943_18)
      & nim4(R_61_4_WAS,R_61_2_AT_LAST)
      & at_last(R_61_2_AT_LAST)
      & qual5(R_61_2_AT_LAST,Z_61_A_SAINT_EXUPERY_1943_2)
      & said(R_61_10_SAID,R_61_3_I,UTTERANCE_61_A_SAINT_EXUPERY_1943_40,R_61_12_HIM)
      & utterance_61_a_saint_exupery_1943_40(UTTERANCE_61_A_SAINT_EXUPERY_1943_40)
      & part1(UTTERANCE_61_A_SAINT_EXUPERY_1943_40,R_61_15_BUT_ARE_DOING)
      & but_are_doing(R_61_15_BUT_ARE_DOING,R_61_12_HIM,R_61_17_WHAT)
      & nim60(R_61_15_BUT_ARE_DOING,R_61_21_HERE)
      & nim2(R_61_10_SAID,Z_61_A_SAINT_EXUPERY_1943_2) ) ).

( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (ADVP (RADV When;{when}))
                                    (ADV at_last;{at_last}))
                          (NP-SBJ (PRO I;{I}))
                          (BED;_La_ was;{be})
                          (ADJP-PRD (ADJ;_cat_ able;{able})
                                    (IP-INF (TO to;{to})
                                            (VB;__ speak;{speak})))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Dpr.r_ said;{say[to]})
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{PRINCE} (PRO him;{he})))
          (PUNC :)
          (PULQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (CONJ;_cl_ But;{but})
                                             (PUNC <mdash>)
                                             (NP-156 (WPRO what;{what}))
                                             (BEP;_cat_Vg_ are;{be})
                                             (NP-SBJ;{PRINCE} (PRO you;{you}))
                                             (IP-PPL-CAT (NP-OB1 *ICH*-156)
                                                         (DAG;_Tn_ doing;{do})
                                                         (ADVP-NIM (ADV here;{here}))))
                                     (PUNC ?)))
          (PURQ <rdquo>))
  (ID 61_a_saint_exupery_1943))