( (IP-MAT (NP-SBJ;{WOMAN} (PRO She;{she}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (ILYR (ILYR (NP-SBJ;{PRIEST} (PRO he;{he}))
                                          (ADVP-NIM (ADV just;{just}))
                                          (VBD;_V_as_though/as_if/like_ looked;{look[as_if]})
                                          (PP-CLR (P-ROLE as_if;{as_if})
                                                  (IP-ADV (NP-SBJ;{PRIEST} (PRO he;{he}))
                                                          (BED;_La_ was;{be})
                                                          (ADJP-PRD (ADJ asleep;{asleep})))))
                                    (PUNC ,)
                                    (CONJP (ILYR (NP-SBJ;{PRIEST} (PRO he;{he}))
                                                 (VBD;_La_ looked;{look})
                                                 (ADJP-PRD (NP (D;_nphd_ that;{that}))
                                                           (AJLYR (AJLYR (ADJ peaceful;{peaceful}))
                                                                  (CONJP (CONJ and;{and})
                                                                         (AJLYR (ADJ resigned;{resigned}))))))))))
          (PUNC .))
  (ID 131_a_joyce_1914))

arc(r_0131_0002__said,r_0131_0001__She,arg0).
arc(r_0131_0002__said,z_0131_5002,arg1).
arc(r_0131_0005__looked,r_0131_0003__he,arg0).
arc(r_0131_0005__looked,r_0131_0004__just,nim).
arc(r_0131_0005__looked,r_0131_0008__was,r_0131_0006__as_if__clr).
arc(r_0131_0008__was,r_0131_0003__he,arg0).
arc(r_0131_0008__was,r_0131_0009__asleep,prd).
arc(r_0131_0012__looked,r_0131_0003__he,arg0).
arc(r_0131_0012__looked,r_0131_0015__and,prd).
arc(r_0131_0015__and,r_0131_0013__that,nim).
arc(r_0131_0015__and,r_0131_0014__peaceful,conj1).
arc(r_0131_0015__and,r_0131_0016__resigned,conj2).
arc(z_0131_5002,r_0131_0005__looked,conj1).
arc(z_0131_5002,r_0131_0012__looked,conj2).

fof(formula,axiom,
    ? [R_0131_0001__SHE,R_0131_0003__HE,R_0131_0004__JUST,R_0131_0009__ASLEEP,R_0131_0008__WAS,R_0131_0005__LOOKED,R_0131_0013__THAT,R_0131_0014__PEACEFUL,R_0131_0016__RESIGNED,R_0131_0015__AND,R_0131_0012__LOOKED,Z_0131_5002,R_0131_0002__SAID] :
      ( r_0131_0001__She(R_0131_0001__SHE)
      & r_0131_0003__he(R_0131_0003__HE)
      & r_0131_0004__just(R_0131_0004__JUST)
      & r_0131_0009__asleep(R_0131_0009__ASLEEP)
      & r_0131_0013__that(R_0131_0013__THAT)
      & r_0131_0014__peaceful(R_0131_0014__PEACEFUL)
      & r_0131_0016__resigned(R_0131_0016__RESIGNED)
      & r_0131_0002__said(R_0131_0002__SAID)
      & has_arg1(R_0131_0002__SAID,Z_0131_5002)
      & z_0131_5002(Z_0131_5002)
      & has_conj2(Z_0131_5002,R_0131_0012__LOOKED)
      & r_0131_0012__looked(R_0131_0012__LOOKED)
      & has_prd(R_0131_0012__LOOKED,R_0131_0015__AND)
      & r_0131_0015__and(R_0131_0015__AND)
      & has_conj2(R_0131_0015__AND,R_0131_0016__RESIGNED)
      & has_conj1(R_0131_0015__AND,R_0131_0014__PEACEFUL)
      & has_nim(R_0131_0015__AND,R_0131_0013__THAT)
      & has_arg0(R_0131_0012__LOOKED,R_0131_0003__HE)
      & has_conj1(Z_0131_5002,R_0131_0005__LOOKED)
      & r_0131_0005__looked(R_0131_0005__LOOKED)
      & has_r_0131_0006__as_if__clr(R_0131_0005__LOOKED,R_0131_0008__WAS)
      & r_0131_0008__was(R_0131_0008__WAS)
      & has_prd(R_0131_0008__WAS,R_0131_0009__ASLEEP)
      & has_arg0(R_0131_0008__WAS,R_0131_0003__HE)
      & has_nim(R_0131_0005__LOOKED,R_0131_0004__JUST)
      & has_arg0(R_0131_0005__LOOKED,R_0131_0003__HE)
      & has_arg0(R_0131_0002__SAID,R_0131_0001__SHE) ) ).