88_a_lob_n02
Piers could hardly have spoken with more contempt.
arc(r_0088_0002__could, r_0088_0004__have, scope).
arc(r_0088_0004__have, r_0088_0003__hardly, nim8).
arc(r_0088_0004__have, r_0088_0005__spoken, scope).
arc(r_0088_0005__spoken, r_0088_0001__Piers, arg0).
arc(r_0088_0005__spoken, r_0088_0008__contempt, r_0088_0006__with_nim19).
arc(r_0088_0008__contempt, r_0088_0007__more, attrib20).
fof(formula,axiom,
? [R_0088_0003__HARDLY,R_0088_0001__PIERS,R_0088_0007__MORE,R_0088_0008__CONTEMPT,R_0088_0002__COULD_R_0088_0004__HAVE_R_0088_0005__SPOKEN] :
( r_0088_0001__Piers(R_0088_0001__PIERS)
& r_0088_0003__hardly(R_0088_0003__HARDLY)
& r_0088_0007__more(R_0088_0007__MORE)
& r_0088_0002__could_r_0088_0004__have_r_0088_0005__spoken(R_0088_0002__COULD_R_0088_0004__HAVE_R_0088_0005__SPOKEN)
& has_r_0088_0006__with_nim19(R_0088_0002__COULD_R_0088_0004__HAVE_R_0088_0005__SPOKEN,R_0088_0008__CONTEMPT)
& r_0088_0008__contempt(R_0088_0008__CONTEMPT)
& has_attrib20(R_0088_0008__CONTEMPT,R_0088_0007__MORE)
& has_arg0(R_0088_0002__COULD_R_0088_0004__HAVE_R_0088_0005__SPOKEN,R_0088_0001__PIERS)
& has_nim8(R_0088_0002__COULD_R_0088_0004__HAVE_R_0088_0005__SPOKEN,R_0088_0003__HARDLY) ) ).
( (IP-MAT (NP-SBJ;{PIERS} (NPR Piers;{Piers}))
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (ADVP-NIM (ADV hardly;{hardly}))
(HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;__ spoken;{speak})
(PP-NIM (P-ROLE with;{with})
(NP (ADJP (ADJR more;{more}))
(N contempt;{contempt})))))
(PUNC .))
(ID 88_a_lob_n02))