79_a_joyce_1914
I walked away slowly along the sunny side of the street, reading all the theatrical advertisements in the shopwindows as I went.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;_Ip_ walked;{walk[away]})
(ADVP-CLR (RP away;{away}))
(ADVP-NIM (ADV slowly;{slowly}))
(PP-NIM (P-ROLE along;{along})
(NP (D the;{the})
(ADJP (ADJ sunny;{sunny}))
(N side;{side})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N street;{street})))))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_Tn_ reading;{read})
(NP-OB1 (Q;_nphd_ all;{all})
(NLYR (D the;{the})
(ADJP (ADJ theatrical;{theatrical}))
(NS advertisements;{advertisement})))
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(NS shopwindows;{shopwindow})))
(PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBD;_I_ went;{go})))))
(PUNC .))
(ID 79_a_joyce_1914))
arc(r_0079_0002__walked_r_0079_0003__away,r_0079_0001__I,arg0).
arc(r_0079_0002__walked_r_0079_0003__away,r_0079_0004__slowly,nim).
arc(r_0079_0002__walked_r_0079_0003__away,r_0079_0006__the_r_0079_0008__side,r_0079_0005__along__nim).
arc(r_0079_0006__the_r_0079_0008__side,r_0079_0007__sunny,attrib).
arc(r_0079_0006__the_r_0079_0008__side,r_0079_0010__the_r_0079_0011__street,r_0079_0009__of).
arc(r_0079_0013__reading,r_0079_0001__I,arg0).
arc(r_0079_0013__reading,r_0079_0019__the_r_0079_0020__shopwindows,r_0079_0018__in__nim).
arc(r_0079_0013__reading,z_0079_5007,arg1).
arc(r_0079_0014__all__quant,r_0079_0021__as,scope).
arc(r_0079_0014__all__quant,z_0079_5007,restriction).
arc(r_0079_0015__the_r_0079_0017__advertisements,r_0079_0016__theatrical,attrib).
arc(r_0079_0021__as,r_0079_0013__reading,scope).
arc(r_0079_0021__as,r_0079_0023__went,restriction).
arc(r_0079_0023__went,r_0079_0001__I,arg0).
arc(z_0079_5001,r_0079_0002__walked_r_0079_0003__away,scope).
arc(z_0079_5001,r_0079_0014__all__quant,restriction).
arc(z_0079_5007,r_0079_0015__the_r_0079_0017__advertisements,nim).
fof(formula,axiom,
? [R_0079_0001__I,R_0079_0004__SLOWLY,R_0079_0007__SUNNY,R_0079_0010__THE_R_0079_0011__STREET,R_0079_0006__THE_R_0079_0008__SIDE,R_0079_0002__WALKED_R_0079_0003__AWAY,Z_0079_5001] :
( r_0079_0001__I(R_0079_0001__I)
& r_0079_0004__slowly(R_0079_0004__SLOWLY)
& r_0079_0007__sunny(R_0079_0007__SUNNY)
& r_0079_0010__the_r_0079_0011__street(R_0079_0010__THE_R_0079_0011__STREET)
& z_0079_5001(Z_0079_5001)
& ! [Z_0079_5007,R_0079_0016__THEATRICAL,R_0079_0015__THE_R_0079_0017__ADVERTISEMENTS] :
( ( r_0079_0016__theatrical(R_0079_0016__THEATRICAL)
& z_0079_5007(Z_0079_5007)
& has_nim(Z_0079_5007,R_0079_0015__THE_R_0079_0017__ADVERTISEMENTS)
& r_0079_0015__the_r_0079_0017__advertisements(R_0079_0015__THE_R_0079_0017__ADVERTISEMENTS)
& has_attrib(R_0079_0015__THE_R_0079_0017__ADVERTISEMENTS,R_0079_0016__THEATRICAL) )
=> ? [R_0079_0019__THE_R_0079_0020__SHOPWINDOWS,R_0079_0013__READING,R_0079_0023__WENT,R_0079_0021__AS] :
( r_0079_0019__the_r_0079_0020__shopwindows(R_0079_0019__THE_R_0079_0020__SHOPWINDOWS)
& r_0079_0021__as(R_0079_0021__AS)
& has_conj1(R_0079_0021__AS,R_0079_0023__WENT)
& r_0079_0023__went(R_0079_0023__WENT)
& has_arg0(R_0079_0023__WENT,R_0079_0001__I)
& has_conj2(R_0079_0021__AS,R_0079_0013__READING)
& r_0079_0013__reading(R_0079_0013__READING)
& has_arg1(R_0079_0013__READING,Z_0079_5007)
& has_r_0079_0018__in__nim(R_0079_0013__READING,R_0079_0019__THE_R_0079_0020__SHOPWINDOWS)
& has_arg0(R_0079_0013__READING,R_0079_0001__I) ) )
& has_conj2(Z_0079_5001,R_0079_0002__WALKED_R_0079_0003__AWAY)
& r_0079_0002__walked_r_0079_0003__away(R_0079_0002__WALKED_R_0079_0003__AWAY)
& has_r_0079_0005__along__nim(R_0079_0002__WALKED_R_0079_0003__AWAY,R_0079_0006__THE_R_0079_0008__SIDE)
& r_0079_0006__the_r_0079_0008__side(R_0079_0006__THE_R_0079_0008__SIDE)
& has_r_0079_0009__of(R_0079_0006__THE_R_0079_0008__SIDE,R_0079_0010__THE_R_0079_0011__STREET)
& has_attrib(R_0079_0006__THE_R_0079_0008__SIDE,R_0079_0007__SUNNY)
& has_nim(R_0079_0002__WALKED_R_0079_0003__AWAY,R_0079_0004__SLOWLY)
& has_arg0(R_0079_0002__WALKED_R_0079_0003__AWAY,R_0079_0001__I) ) ).