25_a_joyce_1914
“Mr. Cotter there has just told us.
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{COTTER} (N Mr<dot>)
(NPR Cotter;{Cotter}))
(ADVP-NIM (ADV there;{there}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (ADVP-NIM (ADV just;{just}))
(VVN;_Dn.*_ told;{tell})
(NP-OB2;{SPEAKER+AUNT+UNCLE} (PRO us;{we})))
(PUNC .))
(ID 25_a_joyce_1914))
arc(r_0025_0005__has,r_0025_0004__there,nim).
arc(r_0025_0005__has,r_0025_0007__told,scope).
arc(r_0025_0007__told,r_0025_0002__Mr_dot__r_0025_0003__Cotter,arg0).
arc(r_0025_0007__told,r_0025_0006__just,nim).
arc(r_0025_0007__told,r_0025_0008__us,arg2).
fof(formula,axiom,
? [R_0025_0004__THERE,R_0025_0002__MR_DOT__R_0025_0003__COTTER,R_0025_0006__JUST,R_0025_0008__US,R_0025_0005__HAS_R_0025_0007__TOLD] :
( r_0025_0002__Mr_dot__r_0025_0003__Cotter(R_0025_0002__MR_DOT__R_0025_0003__COTTER)
& r_0025_0004__there(R_0025_0004__THERE)
& r_0025_0006__just(R_0025_0006__JUST)
& r_0025_0008__us(R_0025_0008__US)
& r_0025_0005__has_r_0025_0007__told(R_0025_0005__HAS_R_0025_0007__TOLD)
& has_arg2(R_0025_0005__HAS_R_0025_0007__TOLD,R_0025_0008__US)
& has_nim(R_0025_0005__HAS_R_0025_0007__TOLD,R_0025_0006__JUST)
& has_arg0(R_0025_0005__HAS_R_0025_0007__TOLD,R_0025_0002__MR_DOT__R_0025_0003__COTTER)
& has_nim(R_0025_0005__HAS_R_0025_0007__TOLD,R_0025_0004__THERE) ) ).