( (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 170_a_joyce_1914))

arc(r_0170_0004__life,r_0170_0003__his,gen).
arc(r_0170_0005__was,r_0170_0002__then,nim).
arc(r_0170_0005__was,r_0170_0008__might,prn).
arc(r_0170_0005__was,r_0170_0011__crossed,scope).
arc(r_0170_0008__might,r_0170_0009__say,scope).
arc(r_0170_0009__say,r_0170_0007__you,arg0).
arc(r_0170_0011__crossed,r_0170_0004__life,arg1).
arc(r_0170_0011__crossed,z_0170_5008___star_,arg0).

fof(formula,axiom,
    ? [R_0170_0002__THEN,R_0170_0007__YOU,R_0170_0008__MIGHT_R_0170_0009__SAY,R_0170_0003__HIS,R_0170_0004__LIFE,Z_0170_5008___STAR_,R_0170_0005__WAS_R_0170_0011__CROSSED] :
      ( r_0170_0002__then(R_0170_0002__THEN)
      & r_0170_0003__his(R_0170_0003__HIS)
      & r_0170_0007__you(R_0170_0007__YOU)
      & z_0170_5008___star_(Z_0170_5008___STAR_)
      & r_0170_0005__was_r_0170_0011__crossed(R_0170_0005__WAS_R_0170_0011__CROSSED)
      & has_arg0(R_0170_0005__WAS_R_0170_0011__CROSSED,Z_0170_5008___STAR_)
      & has_arg1(R_0170_0005__WAS_R_0170_0011__CROSSED,R_0170_0004__LIFE)
      & r_0170_0004__life(R_0170_0004__LIFE)
      & has_gen(R_0170_0004__LIFE,R_0170_0003__HIS)
      & has_prn(R_0170_0005__WAS_R_0170_0011__CROSSED,R_0170_0008__MIGHT_R_0170_0009__SAY)
      & r_0170_0008__might_r_0170_0009__say(R_0170_0008__MIGHT_R_0170_0009__SAY)
      & has_arg0(R_0170_0008__MIGHT_R_0170_0009__SAY,R_0170_0007__YOU)
      & has_nim(R_0170_0005__WAS_R_0170_0011__CROSSED,R_0170_0002__THEN) ) ).