( (IP-MAT (INTJ Why)
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{UNCLE} (PRO I;{I}))
                           (BED;_Ln_ was;{be})
                           (NP-PRD (D a;{a})
                                   (N nipper;{nipper}))))
          (NP-NIM (Q every;{every})
                  (N morning;{morning})
                  (PP (P-ROLE of;{of})
                      (NP (NP-GEN;{UNCLE} (PRO;_genm_ my;{my}))
                          (N life;{life}))))
          (NP-SBJ;{UNCLE} (PRO I;{I}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ cold;{cold}))
                  (N bath;{bath}))
          (PUNC ,)
          (NP-NIM (NLYR (NLYR (N winter;{winter}))
                        (CONJP (CONJ and;{and})
                               (NLYR (N summer;{summer})))))
          (PUNC .))
  (ID 43_a_joyce_1914))

arc(r_0043_0003__when,r_0043_0005__was,restriction).
arc(r_0043_0003__when,r_0043_0008__every__quant,scope).
arc(r_0043_0005__was,r_0043_0004__I,arg0).
arc(r_0043_0005__was,r_0043_0006__a_r_0043_0007__nipper,prd).
arc(r_0043_0008__every__quant,r_0043_0009__morning,restriction).
arc(r_0043_0008__every__quant,r_0043_0014__had,scope).
arc(r_0043_0009__morning,r_0043_0012__life,r_0043_0010__of).
arc(r_0043_0012__life,r_0043_0004__I,gen).
arc(r_0043_0014__had,r_0043_0004__I,arg0).
arc(r_0043_0014__had,r_0043_0009__morning,nim).
arc(r_0043_0014__had,r_0043_0015__a_r_0043_0017__bath,arg1).
arc(r_0043_0014__had,r_0043_0020__and,nim).
arc(r_0043_0015__a_r_0043_0017__bath,r_0043_0016__cold,attrib).
arc(r_0043_0020__and,r_0043_0019__winter,conj1).
arc(r_0043_0020__and,r_0043_0021__summer,conj2).

fof(formula,axiom,
    ! [R_0043_0005__WAS,R_0043_0004__I,R_0043_0006__A_R_0043_0007__NIPPER] :
      ( ( r_0043_0004__I(R_0043_0004__I)
        & r_0043_0006__a_r_0043_0007__nipper(R_0043_0006__A_R_0043_0007__NIPPER)
        & r_0043_0005__was(R_0043_0005__WAS)
        & has_prd(R_0043_0005__WAS,R_0043_0006__A_R_0043_0007__NIPPER)
        & has_arg0(R_0043_0005__WAS,R_0043_0004__I) )
     => ! [R_0043_0009__MORNING,R_0043_0012__LIFE] :
          ( ( r_0043_0009__morning(R_0043_0009__MORNING)
            & has_r_0043_0010__of(R_0043_0009__MORNING,R_0043_0012__LIFE)
            & r_0043_0012__life(R_0043_0012__LIFE)
            & has_gen(R_0043_0012__LIFE,R_0043_0004__I) )
         => ? [R_0043_0016__COLD,R_0043_0015__A_R_0043_0017__BATH,R_0043_0019__WINTER,R_0043_0021__SUMMER,R_0043_0020__AND,R_0043_0014__HAD] :
              ( r_0043_0016__cold(R_0043_0016__COLD)
              & r_0043_0019__winter(R_0043_0019__WINTER)
              & r_0043_0021__summer(R_0043_0021__SUMMER)
              & r_0043_0014__had(R_0043_0014__HAD)
              & has_nim(R_0043_0014__HAD,R_0043_0020__AND)
              & r_0043_0020__and(R_0043_0020__AND)
              & has_conj2(R_0043_0020__AND,R_0043_0021__SUMMER)
              & has_conj1(R_0043_0020__AND,R_0043_0019__WINTER)
              & has_arg1(R_0043_0014__HAD,R_0043_0015__A_R_0043_0017__BATH)
              & r_0043_0015__a_r_0043_0017__bath(R_0043_0015__A_R_0043_0017__BATH)
              & has_attrib(R_0043_0015__A_R_0043_0017__BATH,R_0043_0016__COLD)
              & has_nim(R_0043_0014__HAD,R_0043_0009__MORNING)
              & has_arg0(R_0043_0014__HAD,R_0043_0004__I) ) ) ) ).