153_a_joyce_1914
Still, I know he's gone and all to that....”
( (IP-MAT (ADVP-NIM (ADV Still;{still}))
(PUNC ,)
(NP-SBJ;{AUNT} (PRO I;{I}))
(VBP;_Tf_ know;{know})
(CP-THT-OB1 (IP-SUB (NP-SBJ;{PRIEST} (PRO he;{he}))
(BEP;_La_ <apos>s;{be})
(ADJP-PRD (AJLYR (AJLYR (ADJ gone;{go}))
(CONJP (CONJ and;{and})
(AJLYR (ADVP (ADV all;{all}))))))
(PP-NIM (P-ROLE to;{to})
(NP (D;_nphd_ that;{that})
(PUNC ....)))))
(PURQ <rdquo>))
(ID 153_a_joyce_1914))
arc(r_0153_0004__know,r_0153_0001__Still,nim).
arc(r_0153_0004__know,r_0153_0003__I,arg0).
arc(r_0153_0004__know,r_0153_0006___apos_s,arg1).
arc(r_0153_0006___apos_s,r_0153_0005__he,arg0).
arc(r_0153_0006___apos_s,r_0153_0008__and,prd).
arc(r_0153_0006___apos_s,r_0153_0011__that,r_0153_0010__to__nim).
arc(r_0153_0008__and,r_0153_0007__gone,conj1).
arc(r_0153_0008__and,z_0153_5007,conj2).
arc(z_0153_5007,r_0153_0009__all,qual).
fof(formula,axiom,
? [R_0153_0001__STILL,R_0153_0003__I,R_0153_0005__HE,R_0153_0007__GONE,R_0153_0009__ALL,Z_0153_5007,R_0153_0008__AND,R_0153_0011__THAT,R_0153_0006___APOS_S,R_0153_0004__KNOW] :
( r_0153_0001__Still(R_0153_0001__STILL)
& r_0153_0003__I(R_0153_0003__I)
& r_0153_0005__he(R_0153_0005__HE)
& r_0153_0007__gone(R_0153_0007__GONE)
& r_0153_0009__all(R_0153_0009__ALL)
& r_0153_0011__that(R_0153_0011__THAT)
& r_0153_0004__know(R_0153_0004__KNOW)
& has_arg1(R_0153_0004__KNOW,R_0153_0006___APOS_S)
& r_0153_0006___apos_s(R_0153_0006___APOS_S)
& has_r_0153_0010__to__nim(R_0153_0006___APOS_S,R_0153_0011__THAT)
& has_prd(R_0153_0006___APOS_S,R_0153_0008__AND)
& r_0153_0008__and(R_0153_0008__AND)
& has_conj2(R_0153_0008__AND,Z_0153_5007)
& z_0153_5007(Z_0153_5007)
& has_qual(Z_0153_5007,R_0153_0009__ALL)
& has_conj1(R_0153_0008__AND,R_0153_0007__GONE)
& has_arg0(R_0153_0006___APOS_S,R_0153_0005__HE)
& has_arg0(R_0153_0004__KNOW,R_0153_0003__I)
& has_nim(R_0153_0004__KNOW,R_0153_0001__STILL) ) ).