68_a_paulfellows
How many times have we all been bitten by that one?
( (CP-QUE-MAT (IP-SUB (NP-NIM (ADJP (ADVP (WADV How;{how}))
(ADJ many;{many}))
(NS times;{time}))
(HVP;_cat_Ve_ have;{have})
(NP-SBJ (PRO we;{we}))
(IP-PPL-CAT (ADVP-NIM (ADV all;{all}))
(BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (VVN;_Tn_ bitten;{bite})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D that;{that})
(NUM one;{one}))))))
(PUNC ?))
(ID 68_a_paulfellows))
arc(r_0068_0002__many,r_0068_0001__How,qual).
arc(r_0068_0003__times,r_0068_0002__many,attrib).
arc(r_0068_0004__have,r_0068_0003__times,nim).
arc(r_0068_0004__have,r_0068_0007__been,scope).
arc(r_0068_0007__been,r_0068_0006__all,nim).
arc(r_0068_0007__been,r_0068_0008__bitten,scope).
arc(r_0068_0008__bitten,r_0068_0005__we,arg1).
arc(r_0068_0008__bitten,r_0068_0010__that_r_0068_0011__one,r_0068_0009__by_arg0).
fof(formula,axiom,
? [R_0068_0001__HOW,R_0068_0002__MANY,R_0068_0003__TIMES,R_0068_0006__ALL,R_0068_0005__WE,R_0068_0010__THAT_R_0068_0011__ONE,R_0068_0004__HAVE_R_0068_0007__BEEN_R_0068_0008__BITTEN] :
( r_0068_0001__How(R_0068_0001__HOW)
& r_0068_0005__we(R_0068_0005__WE)
& r_0068_0006__all(R_0068_0006__ALL)
& r_0068_0010__that_r_0068_0011__one(R_0068_0010__THAT_R_0068_0011__ONE)
& r_0068_0004__have_r_0068_0007__been_r_0068_0008__bitten(R_0068_0004__HAVE_R_0068_0007__BEEN_R_0068_0008__BITTEN)
& has_r_0068_0009__by_arg0(R_0068_0004__HAVE_R_0068_0007__BEEN_R_0068_0008__BITTEN,R_0068_0010__THAT_R_0068_0011__ONE)
& has_arg1(R_0068_0004__HAVE_R_0068_0007__BEEN_R_0068_0008__BITTEN,R_0068_0005__WE)
& has_nim(R_0068_0004__HAVE_R_0068_0007__BEEN_R_0068_0008__BITTEN,R_0068_0006__ALL)
& has_nim(R_0068_0004__HAVE_R_0068_0007__BEEN_R_0068_0008__BITTEN,R_0068_0003__TIMES)
& r_0068_0003__times(R_0068_0003__TIMES)
& has_attrib(R_0068_0003__TIMES,R_0068_0002__MANY)
& r_0068_0002__many(R_0068_0002__MANY)
& has_qual(R_0068_0002__MANY,R_0068_0001__HOW) ) ).