5_a_lob_n02
To Beryl, at least, this was anti-climax with a vengeance.
( (IP-MAT (PP-TPC-NIM (P-ROLE To;{to})
(NP;{BERYL} (NPR Beryl;{Beryl})))
(PUNC ,)
(ADVP-NIM (ADV at_least;{at_least}))
(PUNC ,)
(NP-SBJ (D;_nphd_ this;{this}))
(BED;_Ln_ was;{be})
(NP-PRD (N anti_<hyphen>_climax;{anti_climax})
(PP (P-ROLE with;{with})
(NP (D a;{a})
(N vengeance;{vengeance}))))
(PUNC .))
(ID 5_a_lob_n02))
arc(r_0005_0007__was,r_0005_0002__Beryl,r_0005_0001__To__nim).
arc(r_0005_0007__was,r_0005_0004__at_least,nim).
arc(r_0005_0007__was,r_0005_0006__this,arg0).
arc(r_0005_0007__was,r_0005_0008__anti__hyphen__climax,prd).
arc(r_0005_0008__anti__hyphen__climax,r_0005_0010__a_r_0005_0011__vengeance,r_0005_0009__with).
fof(formula,axiom,
? [R_0005_0002__BERYL,R_0005_0004__AT_LEAST,R_0005_0006__THIS,R_0005_0010__A_R_0005_0011__VENGEANCE,R_0005_0008__ANTI__HYPHEN__CLIMAX,R_0005_0007__WAS] :
( r_0005_0002__Beryl(R_0005_0002__BERYL)
& r_0005_0004__at_least(R_0005_0004__AT_LEAST)
& r_0005_0006__this(R_0005_0006__THIS)
& r_0005_0010__a_r_0005_0011__vengeance(R_0005_0010__A_R_0005_0011__VENGEANCE)
& r_0005_0007__was(R_0005_0007__WAS)
& has_prd(R_0005_0007__WAS,R_0005_0008__ANTI__HYPHEN__CLIMAX)
& r_0005_0008__anti__hyphen__climax(R_0005_0008__ANTI__HYPHEN__CLIMAX)
& has_r_0005_0009__with(R_0005_0008__ANTI__HYPHEN__CLIMAX,R_0005_0010__A_R_0005_0011__VENGEANCE)
& has_arg0(R_0005_0007__WAS,R_0005_0006__THIS)
& has_nim(R_0005_0007__WAS,R_0005_0004__AT_LEAST)
& has_r_0005_0001__To__nim(R_0005_0007__WAS,R_0005_0002__BERYL) ) ).