( (IP-MAT (NP-SBJ;{PRIEST} (PRO He;{he}))
          (HVD;_VP24B_ had;{have})
          (NP-OB1 (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                  (N mind;{mind}))
          (IP-PPL-PRD (NP-LGS *)
                      (VVN;_Tn.pr_ set;{set[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP;{DRIVE} (D;_nphd_ that;{that}))))
          (PUNC ...)
          (PUNC .))
  (ID 163_a_joyce_1914))

arc(r_0163_0002__had,r_0163_0001__He,arg0).
arc(r_0163_0002__had,r_0163_0004__mind,arg1).
arc(r_0163_0002__had,r_0163_0005__set_r_0163_0006__on,prd).
arc(r_0163_0004__mind,r_0163_0001__He,gen).
arc(r_0163_0005__set_r_0163_0006__on,r_0163_0007__that,arg2).
arc(r_0163_0005__set_r_0163_0006__on,z_0163_5005,arg1).
arc(r_0163_0005__set_r_0163_0006__on,z_0163_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0163_0001__HE,R_0163_0004__MIND,R_0163_0007__THAT,Z_0163_5005,Z_0163_5006___STAR_,R_0163_0005__SET_R_0163_0006__ON,R_0163_0002__HAD] :
      ( r_0163_0001__He(R_0163_0001__HE)
      & r_0163_0007__that(R_0163_0007__THAT)
      & z_0163_5005(Z_0163_5005)
      & z_0163_5006___star_(Z_0163_5006___STAR_)
      & r_0163_0002__had(R_0163_0002__HAD)
      & has_prd(R_0163_0002__HAD,R_0163_0005__SET_R_0163_0006__ON)
      & r_0163_0005__set_r_0163_0006__on(R_0163_0005__SET_R_0163_0006__ON)
      & has_arg0(R_0163_0005__SET_R_0163_0006__ON,Z_0163_5006___STAR_)
      & has_arg1(R_0163_0005__SET_R_0163_0006__ON,Z_0163_5005)
      & has_arg2(R_0163_0005__SET_R_0163_0006__ON,R_0163_0007__THAT)
      & has_arg1(R_0163_0002__HAD,R_0163_0004__MIND)
      & r_0163_0004__mind(R_0163_0004__MIND)
      & has_gen(R_0163_0004__MIND,R_0163_0001__HE)
      & has_arg0(R_0163_0002__HAD,R_0163_0001__HE) ) ).