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_88_2_COULD_HAVE_SPOKEN,R_88_1_PIERS,R_88_3_HARDLY,R_88_8_CONTEMPT,R_88_7_MORE] :
( piers(R_88_1_PIERS)
& hardly(R_88_3_HARDLY)
& more(R_88_7_MORE)
& could_have_spoken(R_88_2_COULD_HAVE_SPOKEN,R_88_1_PIERS)
& nim8(R_88_2_COULD_HAVE_SPOKEN,R_88_3_HARDLY)
& with_nim19(R_88_2_COULD_HAVE_SPOKEN,R_88_8_CONTEMPT)
& contempt(R_88_8_CONTEMPT)
& attrib20(R_88_8_CONTEMPT,R_88_7_MORE) ) ).
( (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))