TSPC 100_a_lob

100_a_lob_n02
‘You think you could have carried more weight with Sir John?’ she enquired cuttingly.

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{PIERS} (PRO You;{you}))
                                 (VB;_Tf_ think;{think})
                                 (CP-THT-OB1 (IP-SUB (NP-SBJ;{PIERS} (PRO you;{you}))
                                                     (MD;_cat_Vi_ could;{can})
                                                     (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                                 (IP-PPL-CAT (VVN;_Tn_ carried;{carry})
                                                                             (NP-OB1 (ADJP (ADJR more;{more}))
                                                                                     (N weight;{weight}))
                                                                             (PP-NIM (P-ROLE with;{with})
                                                                                     (NP;{SIR_JOHN} (N Sir;{sir})
                                                                                                    (NPR John;{John})))))))
                                 (PUNC ?)))
          (PURQ <rquo>)
          (NP-SBJ;{BERYL} (PRO she;{she}))
          (VBD;_Tr_ enquired;{enquire})
          (ADVP-NIM (ADV cuttingly;{cuttingly}))
          (PUNC .))
  (ID 100_a_lob_n02))

arc(r_0100_0003__think,r_0100_0002__You,arg0).
arc(r_0100_0003__think,r_0100_0005__could,arg1).
arc(r_0100_0005__could,r_0100_0006__have,scope).
arc(r_0100_0006__have,r_0100_0007__carried,scope).
arc(r_0100_0007__carried,r_0100_0002__You,arg0).
arc(r_0100_0007__carried,r_0100_0009__weight,arg1).
arc(r_0100_0007__carried,r_0100_0011__Sir_r_0100_0012__John,r_0100_0010__with__nim).
arc(r_0100_0009__weight,r_0100_0008__more,attrib).
arc(r_0100_0016__enquired,r_0100_0015__she,arg0).
arc(r_0100_0016__enquired,r_0100_0017__cuttingly,nim).
arc(r_0100_0016__enquired,z_0100_5002__utterance,arg1).
arc(z_0100_5002__utterance,r_0100_0003__think,part1).

fof(formula,axiom,
    ? [R_0100_0015__SHE,R_0100_0017__CUTTINGLY,R_0100_0002__YOU,R_0100_0008__MORE,R_0100_0009__WEIGHT,R_0100_0011__SIR_R_0100_0012__JOHN,R_0100_0005__COULD_R_0100_0006__HAVE_R_0100_0007__CARRIED,R_0100_0003__THINK,Z_0100_5002__UTTERANCE,R_0100_0016__ENQUIRED] :
      ( r_0100_0002__You(R_0100_0002__YOU)
      & r_0100_0008__more(R_0100_0008__MORE)
      & r_0100_0011__Sir_r_0100_0012__John(R_0100_0011__SIR_R_0100_0012__JOHN)
      & r_0100_0015__she(R_0100_0015__SHE)
      & r_0100_0017__cuttingly(R_0100_0017__CUTTINGLY)
      & r_0100_0016__enquired(R_0100_0016__ENQUIRED)
      & has_arg1(R_0100_0016__ENQUIRED,Z_0100_5002__UTTERANCE)
      & z_0100_5002__utterance(Z_0100_5002__UTTERANCE)
      & has_part1(Z_0100_5002__UTTERANCE,R_0100_0003__THINK)
      & r_0100_0003__think(R_0100_0003__THINK)
      & has_arg1(R_0100_0003__THINK,R_0100_0005__COULD_R_0100_0006__HAVE_R_0100_0007__CARRIED)
      & r_0100_0005__could_r_0100_0006__have_r_0100_0007__carried(R_0100_0005__COULD_R_0100_0006__HAVE_R_0100_0007__CARRIED)
      & has_r_0100_0010__with__nim(R_0100_0005__COULD_R_0100_0006__HAVE_R_0100_0007__CARRIED,R_0100_0011__SIR_R_0100_0012__JOHN)
      & has_arg1(R_0100_0005__COULD_R_0100_0006__HAVE_R_0100_0007__CARRIED,R_0100_0009__WEIGHT)
      & r_0100_0009__weight(R_0100_0009__WEIGHT)
      & has_attrib(R_0100_0009__WEIGHT,R_0100_0008__MORE)
      & has_arg0(R_0100_0005__COULD_R_0100_0006__HAVE_R_0100_0007__CARRIED,R_0100_0002__YOU)
      & has_arg0(R_0100_0003__THINK,R_0100_0002__YOU)
      & has_nim(R_0100_0016__ENQUIRED,R_0100_0017__CUTTINGLY)
      & has_arg0(R_0100_0016__ENQUIRED,R_0100_0015__SHE) ) ).