arc(utterance_33_a_lob_n02_4, r_0033_0004__all_quant, part1).
arc(r_0033_0002__Is, r_0033_0003__that, arg0).
arc(r_0033_0002__Is, z_000_33_a_lob_n02_12, prd).
arc(r_0033_0004__all_quant, r_0033_0002__Is, scope).
arc(r_0033_0004__all_quant, z_000_33_a_lob_n02_12, restriction).
arc(r_0033_0006__want, r_0033_0005__you, arg0).
arc(r_0033_0006__want, r_0033_0007__to_r_0033_0008__do, arg1).
arc(r_0033_0007__to_r_0033_0008__do, r_0033_0005__you, arg0).
arc(r_0033_0007__to_r_0033_0008__do, z_000_33_a_lob_n02_12, arg1).
arc(r_0033_0012__asked, utterance_33_a_lob_n02_4, arg1).
arc(r_0033_0012__asked, r_0033_0011__he, arg0).
arc(r_0033_0014__letting_r_0033_0015__in, r_0033_0011__he, arg0).
arc(r_0033_0014__letting_r_0033_0015__in, r_0033_0016__the_r_0033_0017__clutch, arg1).
arc(z_000_33_a_lob_n02_39, r_0033_0012__asked, scope).
arc(z_000_33_a_lob_n02_39, r_0033_0014__letting_r_0033_0015__in, restriction).

fof(formula,axiom,
    ? [Z_33_A_LOB_N02_39,R_33_14_LETTING_IN,R_33_16_THE_CLUTCH,R_33_12_ASKED,R_33_11_HE,UTTERANCE_33_A_LOB_N02_4] :
      ( the_clutch(R_33_16_THE_CLUTCH)
      & he(R_33_11_HE)
      & z_33_a_lob_n02_39(Z_33_A_LOB_N02_39)
      & conj1(Z_33_A_LOB_N02_39,R_33_14_LETTING_IN)
      & letting_in(R_33_14_LETTING_IN,R_33_11_HE,R_33_16_THE_CLUTCH)
      & conj2(Z_33_A_LOB_N02_39,R_33_12_ASKED)
      & asked(R_33_12_ASKED,R_33_11_HE,UTTERANCE_33_A_LOB_N02_4)
      & ! [R_33_6_WANT,R_33_7_TO_DO,R_33_5_YOU,Z_33_A_LOB_N02_12] :
          ( ( you(R_33_5_YOU)
            & want(R_33_6_WANT,R_33_5_YOU,R_33_7_TO_DO)
            & to_do(R_33_7_TO_DO,R_33_5_YOU,Z_33_A_LOB_N02_12) )
         => ? [R_33_2_IS,R_33_3_THAT] :
              ( that(R_33_3_THAT)
              & is(R_33_2_IS,R_33_3_THAT,Z_33_A_LOB_N02_12) ) )
      & part1(PART1)
      & utterance_33_a_lob_n02_4(UTTERANCE_33_A_LOB_N02_4) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (BEP;_Ln_ Is;{be})
                                             (NP-SBJ (D;_nphd_ that;{that}))
                                             (NP-PRD (Q;_nphd_ all;{all})
                                                     (IP-REL (NP-SBJ;{BERYL} (PRO you;{you}))
                                                             (VB;__ want;{want})
                                                             (IP-INF-OB1 (NP-OB1 *T*)
                                                                         (TO to;{to})
                                                                         (DO;_Tn_ do;{do})))))
                                     (PUNC ?)))
          (PURQ <rquo>)
          (NP-SBJ;{PIERS} (PRO he;{he}))
          (VBD;_Tr_ asked;{ask})
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;__ letting;{let})
                            (RP in;{in})
                            (NP-OB1 (D the;{the})
                                    (N clutch;{clutch}))))
          (PUNC .))
  (ID 33_a_lob_n02))