44_a_joyce_1914
Why, when I was a nipper every morning of my life I had a cold bath, winter and summer.
arc(r_0044_0001__Why_r_0044_0014__had, r_0044_0009__morning, nim20).
arc(r_0044_0001__Why_r_0044_0014__had, r_0044_0013__I, arg0).
arc(r_0044_0001__Why_r_0044_0014__had, r_0044_0015__a_r_0044_0017__bath, arg1).
arc(r_0044_0001__Why_r_0044_0014__had, r_0044_0020__and, nim49).
arc(r_0044_0003__when, r_0044_0005__was, restriction).
arc(r_0044_0003__when, r_0044_0008__every_quant, scope).
arc(r_0044_0005__was, r_0044_0004__I, arg0).
arc(r_0044_0005__was, r_0044_0006__a_r_0044_0007__nipper, prd).
arc(r_0044_0008__every_quant, r_0044_0001__Why_r_0044_0014__had, scope).
arc(r_0044_0008__every_quant, r_0044_0009__morning, restriction).
arc(r_0044_0009__morning, r_0044_0012__life, r_0044_0010__of).
arc(r_0044_0012__life, r_0044_0011__my, gen).
arc(r_0044_0015__a_r_0044_0017__bath, r_0044_0016__cold, attrib42).
arc(r_0044_0020__and, r_0044_0019__winter, conj1).
arc(r_0044_0020__and, r_0044_0021__summer, conj2).
fof(formula,axiom,
! [R_44_5_WAS,R_44_4_I,R_44_6_A_NIPPER] :
( ( i(R_44_4_I)
& a_nipper(R_44_6_A_NIPPER)
& was(R_44_5_WAS,R_44_4_I,R_44_6_A_NIPPER) )
=> ! [R_44_9_MORNING,R_44_12_LIFE,R_44_11_MY] :
( ( my(R_44_11_MY)
& morning(R_44_9_MORNING)
& of(R_44_9_MORNING,R_44_12_LIFE)
& life(R_44_12_LIFE)
& gen(R_44_12_LIFE,R_44_11_MY) )
=> ? [R_44_1_WHY_HAD,R_44_13_I,R_44_15_A_BATH,R_44_16_COLD,R_44_20_AND,R_44_19_WINTER,R_44_21_SUMMER] :
( i(R_44_13_I)
& cold(R_44_16_COLD)
& winter(R_44_19_WINTER)
& summer(R_44_21_SUMMER)
& why_had(R_44_1_WHY_HAD,R_44_13_I,R_44_15_A_BATH)
& a_bath(R_44_15_A_BATH)
& attrib42(R_44_15_A_BATH,R_44_16_COLD)
& nim20(R_44_1_WHY_HAD,R_44_9_MORNING)
& nim49(R_44_1_WHY_HAD,R_44_20_AND)
& and(R_44_20_AND)
& conj1(R_44_20_AND,R_44_19_WINTER)
& conj2(R_44_20_AND,R_44_21_SUMMER) ) ) ) ).
( (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 44_a_joyce_1914))