( (IP-MAT (ADVP-NIM (ADV There;{there}))
          (NP-SBJ;{PRIEST} (PRO he;{he}))
          (VBD;_I_ lay;{lie})
          (PUNC ,)
          (ADJP-PRD (AJLYR (AJLYR (ADJ solemn;{solemn}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ copious;{copious})))))
          (PUNC ,)
          (PP-SCON (IP-PPL (NP-LGS *)
                           (VVN;_Tn_ vested;{vest})
                           (PP-NIM (P-ROLE as_for;{as_for})
                                   (NP (D the;{the})
                                       (N altar;{altar})))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                    (ADJP (ADJ large;{large}))
                                    (NS hands;{hand}))
                            (ADVP-NIM (ADV loosely;{loosely}))
                            (VAG;_Tn_ retaining;{retain})
                            (NP-OB1 (D a;{a})
                                    (N chalice;{chalice}))))
          (PUNC .))
  (ID 108_a_joyce_1914))

arc(r_0108_0003__lay,r_0108_0001__There,nim).
arc(r_0108_0003__lay,r_0108_0002__he,arg0).
arc(r_0108_0003__lay,r_0108_0006__and,prd).
arc(r_0108_0006__and,r_0108_0005__solemn,conj1).
arc(r_0108_0006__and,r_0108_0007__copious,conj2).
arc(r_0108_0009__vested,r_0108_0002__he,arg1).
arc(r_0108_0009__vested,r_0108_0011__the_r_0108_0012__altar,r_0108_0010__as_for__nim).
arc(r_0108_0009__vested,z_0108_5013___star_,arg0).
arc(r_0108_0016__hands,r_0108_0002__he,gen).
arc(r_0108_0016__hands,r_0108_0015__large,attrib).
arc(r_0108_0018__retaining,r_0108_0016__hands,arg0).
arc(r_0108_0018__retaining,r_0108_0017__loosely,nim).
arc(r_0108_0018__retaining,r_0108_0019__a_r_0108_0020__chalice,arg1).
arc(z_0108_5002,r_0108_0018__retaining,restriction).
arc(z_0108_5002,z_0108_5010,scope).
arc(z_0108_5010,r_0108_0003__lay,scope).
arc(z_0108_5010,r_0108_0009__vested,restriction).

fof(formula,axiom,
    ? [R_0108_0002__HE,R_0108_0015__LARGE,R_0108_0016__HANDS,R_0108_0017__LOOSELY,R_0108_0019__A_R_0108_0020__CHALICE,R_0108_0018__RETAINING,R_0108_0001__THERE,R_0108_0005__SOLEMN,R_0108_0007__COPIOUS,R_0108_0006__AND,R_0108_0003__LAY,R_0108_0011__THE_R_0108_0012__ALTAR,Z_0108_5013___STAR_,R_0108_0009__VESTED,Z_0108_5010,Z_0108_5002] :
      ( r_0108_0001__There(R_0108_0001__THERE)
      & r_0108_0002__he(R_0108_0002__HE)
      & r_0108_0005__solemn(R_0108_0005__SOLEMN)
      & r_0108_0007__copious(R_0108_0007__COPIOUS)
      & r_0108_0011__the_r_0108_0012__altar(R_0108_0011__THE_R_0108_0012__ALTAR)
      & r_0108_0015__large(R_0108_0015__LARGE)
      & r_0108_0017__loosely(R_0108_0017__LOOSELY)
      & r_0108_0019__a_r_0108_0020__chalice(R_0108_0019__A_R_0108_0020__CHALICE)
      & z_0108_5013___star_(Z_0108_5013___STAR_)
      & z_0108_5002(Z_0108_5002)
      & has_conj2(Z_0108_5002,Z_0108_5010)
      & z_0108_5010(Z_0108_5010)
      & has_conj1(Z_0108_5010,R_0108_0009__VESTED)
      & r_0108_0009__vested(R_0108_0009__VESTED)
      & has_arg0(R_0108_0009__VESTED,Z_0108_5013___STAR_)
      & has_r_0108_0010__as_for__nim(R_0108_0009__VESTED,R_0108_0011__THE_R_0108_0012__ALTAR)
      & has_arg1(R_0108_0009__VESTED,R_0108_0002__HE)
      & has_conj2(Z_0108_5010,R_0108_0003__LAY)
      & r_0108_0003__lay(R_0108_0003__LAY)
      & has_prd(R_0108_0003__LAY,R_0108_0006__AND)
      & r_0108_0006__and(R_0108_0006__AND)
      & has_conj2(R_0108_0006__AND,R_0108_0007__COPIOUS)
      & has_conj1(R_0108_0006__AND,R_0108_0005__SOLEMN)
      & has_arg0(R_0108_0003__LAY,R_0108_0002__HE)
      & has_nim(R_0108_0003__LAY,R_0108_0001__THERE)
      & has_conj1(Z_0108_5002,R_0108_0018__RETAINING)
      & r_0108_0018__retaining(R_0108_0018__RETAINING)
      & has_arg1(R_0108_0018__RETAINING,R_0108_0019__A_R_0108_0020__CHALICE)
      & has_nim(R_0108_0018__RETAINING,R_0108_0017__LOOSELY)
      & has_arg0(R_0108_0018__RETAINING,R_0108_0016__HANDS)
      & r_0108_0016__hands(R_0108_0016__HANDS)
      & has_attrib(R_0108_0016__HANDS,R_0108_0015__LARGE)
      & has_gen(R_0108_0016__HANDS,R_0108_0002__HE) ) ).