16_a_alresford
But Alresford was more than that, much more.
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ;{ALRESFORD} (NPR Alresford;{Alresford}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJR more;{more})
(PP (P-ROLE than;{than})
(NP (D;_nphd_ that;{that}))))
(PUNC ,)
(REP (ADJP-PRD (ADVP (ADV much;{much}))
(ADJR more;{more})))
(PUNC .))
(ID 16_a_alresford))
arc(r_0016_0003__was,r_0016_0002__Alresford,arg0).
arc(r_0016_0003__was,r_0016_0004__more,prd).
arc(r_0016_0004__more,r_0016_0006__that,r_0016_0005__than).
fof(formula,axiom,
? [R_0016_0002__ALRESFORD,R_0016_0006__THAT,R_0016_0004__MORE,R_0016_0003__WAS] :
( r_0016_0002__Alresford(R_0016_0002__ALRESFORD)
& r_0016_0006__that(R_0016_0006__THAT)
& r_0016_0003__was(R_0016_0003__WAS)
& has_prd(R_0016_0003__WAS,R_0016_0004__MORE)
& r_0016_0004__more(R_0016_0004__MORE)
& has_r_0016_0005__than(R_0016_0004__MORE,R_0016_0006__THAT)
& has_arg0(R_0016_0003__WAS,R_0016_0002__ALRESFORD) ) ).