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,
    ? [UTTERANCE_33_A_LOB_N02_4,R_0033_0011__HE,R_0033_0012__ASKED,R_0033_0016__THE_R_0033_0017__CLUTCH,R_0033_0014__LETTING_R_0033_0015__IN,Z_000_33_A_LOB_N02_39] :
      ( r_0033_0011__he(R_0033_0011__HE)
      & r_0033_0016__the_r_0033_0017__clutch(R_0033_0016__THE_R_0033_0017__CLUTCH)
      & z_000_33_a_lob_n02_39(Z_000_33_A_LOB_N02_39)
      & has_conj1(Z_000_33_A_LOB_N02_39,R_0033_0014__LETTING_R_0033_0015__IN)
      & r_0033_0014__letting_r_0033_0015__in(R_0033_0014__LETTING_R_0033_0015__IN)
      & has_arg1(R_0033_0014__LETTING_R_0033_0015__IN,R_0033_0016__THE_R_0033_0017__CLUTCH)
      & has_arg0(R_0033_0014__LETTING_R_0033_0015__IN,R_0033_0011__HE)
      & has_conj2(Z_000_33_A_LOB_N02_39,R_0033_0012__ASKED)
      & r_0033_0012__asked(R_0033_0012__ASKED)
      & has_arg0(R_0033_0012__ASKED,R_0033_0011__HE)
      & has_arg1(R_0033_0012__ASKED,UTTERANCE_33_A_LOB_N02_4)
      & utterance_33_a_lob_n02_4(UTTERANCE_33_A_LOB_N02_4)
      & ! [Z_000_33_A_LOB_N02_12,R_0033_0005__YOU,R_0033_0007__TO_R_0033_0008__DO,R_0033_0006__WANT] :
          ( ( r_0033_0005__you(R_0033_0005__YOU)
            & z_000_33_a_lob_n02_12(Z_000_33_A_LOB_N02_12)
            & r_0033_0006__want(R_0033_0006__WANT)
            & has_arg1(R_0033_0006__WANT,R_0033_0007__TO_R_0033_0008__DO)
            & r_0033_0007__to_r_0033_0008__do(R_0033_0007__TO_R_0033_0008__DO)
            & has_arg1(R_0033_0007__TO_R_0033_0008__DO,Z_000_33_A_LOB_N02_12)
            & has_arg0(R_0033_0007__TO_R_0033_0008__DO,R_0033_0005__YOU)
            & has_arg0(R_0033_0006__WANT,R_0033_0005__YOU) )
         => ? [R_0033_0003__THAT,R_0033_0002__IS] :
              ( r_0033_0003__that(R_0033_0003__THAT)
              & r_0033_0002__Is(R_0033_0002__IS)
              & has_prd(R_0033_0002__IS,Z_000_33_A_LOB_N02_12)
              & has_arg0(R_0033_0002__IS,R_0033_0003__THAT) ) ) ) ).

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