100_a_lob_n02
‘You think you could have carried more weight with Sir John?’ she enquired cuttingly.
arc(utterance_100_a_lob_n02_4, r_0100_0003__think, part1).
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_nim33).
arc(r_0100_0009__weight, r_0100_0008__more, attrib25).
arc(r_0100_0016__enquired, utterance_100_a_lob_n02_4, arg1).
arc(r_0100_0016__enquired, r_0100_0015__she, arg0).
arc(r_0100_0016__enquired, r_0100_0017__cuttingly, nim47).
fof(formula,axiom,
? [R_100_16_ENQUIRED,R_100_15_SHE,UTTERANCE_100_A_LOB_N02_4,R_100_3_THINK,R_100_5_COULD_HAVE_CARRIED,R_100_2_YOU,R_100_9_WEIGHT,R_100_8_MORE,R_100_11_SIR_JOHN,R_100_17_CUTTINGLY] :
( she(R_100_15_SHE)
& you(R_100_2_YOU)
& more(R_100_8_MORE)
& sir_John(R_100_11_SIR_JOHN)
& cuttingly(R_100_17_CUTTINGLY)
& enquired(R_100_16_ENQUIRED,R_100_15_SHE,UTTERANCE_100_A_LOB_N02_4)
& utterance_100_a_lob_n02_4(UTTERANCE_100_A_LOB_N02_4)
& part1(UTTERANCE_100_A_LOB_N02_4,R_100_3_THINK)
& think(R_100_3_THINK,R_100_2_YOU,R_100_5_COULD_HAVE_CARRIED)
& could_have_carried(R_100_5_COULD_HAVE_CARRIED,R_100_2_YOU,R_100_9_WEIGHT)
& weight(R_100_9_WEIGHT)
& attrib25(R_100_9_WEIGHT,R_100_8_MORE)
& with_nim33(R_100_5_COULD_HAVE_CARRIED,R_100_11_SIR_JOHN)
& nim47(R_100_16_ENQUIRED,R_100_17_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))