171_a_joyce_1914
And then his life was, you might say, crossed.”
arc(r_0171_0001__And_r_0171_0005__was, r_0171_0002__then, nim4).
arc(r_0171_0001__And_r_0171_0005__was, r_0171_0011__crossed, scope).
arc(r_0171_0004__life, r_0171_0003__his, gen).
arc(r_0171_0011__crossed, r_0171_0004__life, arg1).
arc(r_0171_0011__crossed, z_000_171_a_joyce_1914_30, arg0).
fof(formula,axiom,
? [R_171_1_AND_WAS_CROSSED,Z_171_A_JOYCE_1914_30,R_171_4_LIFE,R_171_3_HIS,R_171_2_THEN] :
( his(R_171_3_HIS)
& then(R_171_2_THEN)
& and_was_crossed(R_171_1_AND_WAS_CROSSED,Z_171_A_JOYCE_1914_30,R_171_4_LIFE)
& life(R_171_4_LIFE)
& gen(R_171_4_LIFE,R_171_3_HIS)
& nim4(R_171_1_AND_WAS_CROSSED,R_171_2_THEN) ) ).
( (IP-MAT (CONJ;_cl_ And;{and})
(ADVP-NIM (ADV then;{then}))
(NP-SBJ (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
(N life;{life}))
(BED;_cat_VePASS_ was;{be})
(PUNC ,)
(PRN (IP-MAT (NP-SBJ;{ARB} (PRO you;{you}))
(MD;_cat_Vi_ might;{may})
(IP-INF-CAT (VB;_Tf_ say;{say}))))
(PUNC ,)
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ crossed;{cross}))
(PUNC .)
(PURQ <rdquo>))
(ID 171_a_joyce_1914))