( (IP-MAT (PP-SCON (IP-PPL2 (ADJP-PRD (ADVP (ADV as;{as}))
                                      (ADJ poor;{poor})
                                      (PP (P-ROLE as;{as})
                                          (NP (IP-REL (NP-PRD *T*)
                                                      (NP-SBJ;{SISTERS} (PRO we;{we}))
                                                      (BEP;_Ln_ are;{be})))))))
          (PUNC <mdash>)
          (NP-SBJ;{SISTERS} (PRO we;{we}))
          (MD;_cat_Vi_ would;{will})
          (NEG;_clitic_ n<apos>t;{not})
          (IP-INF-CAT (VB;_Tni_ see;{see})
                      (NP-DOB1;{PRIEST} (PRO him;{he}))
                      (IP-INF-OB1 (VB;_Tn_ want;{want})
                                  (NP-OB1 (D;_nphd_ anything;{anything}))))
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ;{PRIEST} (PRO he;{he}))
                           (BED;_Ipr_ was;{be[in]})
                           (PP-CLR (P-ROLE in;{in})
                                   (NP;{LIFE} (PRO it;{it})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 139_a_joyce_1914))

arc(r_0139_0002__poor,r_0139_0001__as,qual).
arc(r_0139_0002__poor,z_0139_5009,r_0139_0003__as).
arc(r_0139_0005__are,r_0139_0007__we,arg0).
arc(r_0139_0005__are,z_0139_5009,inv_prd).
arc(r_0139_0008__would,r_0139_0010__see,scope).
arc(r_0139_0009__n_apos_t,r_0139_0008__would,keep_scope).
arc(r_0139_0010__see,r_0139_0007__we,arg0).
arc(r_0139_0010__see,r_0139_0012__want,arg1).
arc(r_0139_0012__want,r_0139_0011__him,arg0).
arc(r_0139_0012__want,r_0139_0013__anything,arg1).
arc(r_0139_0014__while,r_0139_0009__n_apos_t,scope).
arc(r_0139_0014__while,r_0139_0016__was_r_0139_0017__in,restriction).
arc(r_0139_0016__was_r_0139_0017__in,r_0139_0011__him,arg0).
arc(r_0139_0016__was_r_0139_0017__in,r_0139_0018__it,arg1).
arc(z_0139_5002,r_0139_0014__while,scope).
arc(z_0139_5002,z_0139_5010,restriction).
arc(z_0139_5010,r_0139_0002__poor,prd).
arc(z_0139_5010,r_0139_0007__we,arg0).

fof(formula,axiom,
    ? [R_0139_0011__HIM,R_0139_0018__IT,R_0139_0016__WAS_R_0139_0017__IN,R_0139_0014__WHILE,R_0139_0001__AS,R_0139_0007__WE,R_0139_0005__ARE,Z_0139_5009,R_0139_0002__POOR,Z_0139_5010,Z_0139_5002] :
      ( r_0139_0001__as(R_0139_0001__AS)
      & r_0139_0007__we(R_0139_0007__WE)
      & r_0139_0011__him(R_0139_0011__HIM)
      & r_0139_0018__it(R_0139_0018__IT)
      & z_0139_5002(Z_0139_5002)
      & has_conj1(Z_0139_5002,Z_0139_5010)
      & z_0139_5010(Z_0139_5010)
      & has_arg0(Z_0139_5010,R_0139_0007__WE)
      & has_prd(Z_0139_5010,R_0139_0002__POOR)
      & r_0139_0002__poor(R_0139_0002__POOR)
      & has_r_0139_0003__as(R_0139_0002__POOR,Z_0139_5009)
      & z_0139_5009(Z_0139_5009)
      & has_inv_prd(Z_0139_5009,R_0139_0005__ARE)
      & r_0139_0005__are(R_0139_0005__ARE)
      & has_arg0(R_0139_0005__ARE,R_0139_0007__WE)
      & has_qual(R_0139_0002__POOR,R_0139_0001__AS)
      & has_conj2(Z_0139_5002,R_0139_0014__WHILE)
      & r_0139_0014__while(R_0139_0014__WHILE)
      & has_conj1(R_0139_0014__WHILE,R_0139_0016__WAS_R_0139_0017__IN)
      & r_0139_0016__was_r_0139_0017__in(R_0139_0016__WAS_R_0139_0017__IN)
      & has_arg1(R_0139_0016__WAS_R_0139_0017__IN,R_0139_0018__IT)
      & has_arg0(R_0139_0016__WAS_R_0139_0017__IN,R_0139_0011__HIM)
      & has_conj2(R_0139_0014__WHILE,R_0139_0009__N_APOS_T)
      & ~ ? [R_0139_0013__ANYTHING,R_0139_0012__WANT,R_0139_0008__WOULD_R_0139_0010__SEE] :
            ( r_0139_0013__anything(R_0139_0013__ANYTHING)
            & r_0139_0008__would_r_0139_0010__see(R_0139_0008__WOULD_R_0139_0010__SEE)
            & has_arg1(R_0139_0008__WOULD_R_0139_0010__SEE,R_0139_0012__WANT)
            & r_0139_0012__want(R_0139_0012__WANT)
            & has_arg1(R_0139_0012__WANT,R_0139_0013__ANYTHING)
            & has_arg0(R_0139_0012__WANT,R_0139_0011__HIM)
            & has_arg0(R_0139_0008__WOULD_R_0139_0010__SEE,R_0139_0007__WE) ) ) ).