88_a_lob_n02
Piers could hardly have spoken with more contempt.
( (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))
arc(r_0088_0002__could,r_0088_0004__have,scope).
arc(r_0088_0004__have,r_0088_0003__hardly,nim).
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__nim).
arc(r_0088_0008__contempt,r_0088_0007__more,attrib).
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__nim(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_attrib(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_nim(R_0088_0002__COULD_R_0088_0004__HAVE_R_0088_0005__SPOKEN,R_0088_0003__HARDLY) ) ).