TSPC 33_a_lob

33_a_lob_n02
‘Is that all you want to do?’ he asked, letting in the clutch.

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

arc(r_0033_0002__Is,r_0033_0003__that,arg0).
arc(r_0033_0002__Is,z_0033_5008,prd).
arc(r_0033_0004__all__quant,r_0033_0002__Is,scope).
arc(r_0033_0004__all__quant,z_0033_5008,restriction).
arc(r_0033_0006__want,r_0033_0005__you,arg0).
arc(r_0033_0006__want,r_0033_0008__do,arg1).
arc(r_0033_0008__do,r_0033_0005__you,arg0).
arc(r_0033_0008__do,z_0033_5008,inv_arg1).
arc(r_0033_0012__asked,r_0033_0011__he,arg0).
arc(r_0033_0012__asked,z_0033_5002__utterance,arg1).
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_0033_5002__utterance,r_0033_0004__all__quant,part1).
arc(z_0033_5011,r_0033_0012__asked,scope).
arc(z_0033_5011,r_0033_0014__letting_r_0033_0015__in,restriction).

fof(formula,axiom,
    ? [R_0033_0005__YOU,R_0033_0008__DO,R_0033_0006__WANT,R_0033_0011__HE,Z_0033_5002__UTTERANCE,R_0033_0012__ASKED,R_0033_0016__THE_R_0033_0017__CLUTCH,R_0033_0014__LETTING_R_0033_0015__IN,Z_0033_5011] :
      ( r_0033_0005__you(R_0033_0005__YOU)
      & 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_0033_5011(Z_0033_5011)
      & has_conj1(Z_0033_5011,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_0033_5011,R_0033_0012__ASKED)
      & r_0033_0012__asked(R_0033_0012__ASKED)
      & has_arg1(R_0033_0012__ASKED,Z_0033_5002__UTTERANCE)
      & z_0033_5002__utterance(Z_0033_5002__UTTERANCE)
      & ! [Z_0033_5008] :
          ( ( z_0033_5008(Z_0033_5008)
            & has_inv_arg1(Z_0033_5008,R_0033_0008__DO) )
         => ? [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_0033_5008)
              & has_arg0(R_0033_0002__IS,R_0033_0003__THAT) ) )
      & has_arg0(R_0033_0012__ASKED,R_0033_0011__HE)
      & r_0033_0006__want(R_0033_0006__WANT)
      & has_arg1(R_0033_0006__WANT,R_0033_0008__DO)
      & r_0033_0008__do(R_0033_0008__DO)
      & has_arg0(R_0033_0008__DO,R_0033_0005__YOU)
      & has_arg0(R_0033_0006__WANT,R_0033_0005__YOU) ) ).