80_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.
arc(r_0080_0002__walked, r_0080_0001__I, arg0).
arc(r_0080_0002__walked, r_0080_0003__away, clr7).
arc(r_0080_0002__walked, r_0080_0004__slowly, nim10).
arc(r_0080_0002__walked, r_0080_0006__the_r_0080_0008__side, r_0080_0005__along_nim16).
arc(r_0080_0006__the_r_0080_0008__side, r_0080_0007__sunny, attrib19).
arc(r_0080_0006__the_r_0080_0008__side, r_0080_0010__the_r_0080_0011__street, r_0080_0009__of).
arc(r_0080_0013__reading, r_0080_0001__I, arg0).
arc(r_0080_0013__reading, r_0080_0015__the_r_0080_0017__advertisements, arg1).
arc(r_0080_0013__reading, r_0080_0019__the_r_0080_0020__shopwindows, r_0080_0018__in_nim51).
arc(r_0080_0014__all_quant, r_0080_0013__reading, scope).
arc(r_0080_0014__all_quant, r_0080_0015__the_r_0080_0017__advertisements, restriction).
arc(r_0080_0015__the_r_0080_0017__advertisements, r_0080_0016__theatrical, attrib43).
arc(r_0080_0021__as, r_0080_0014__all_quant, scope).
arc(r_0080_0021__as, r_0080_0023__went, restriction).
arc(r_0080_0023__went, r_0080_0001__I, arg0).
arc(z_000_80_a_joyce_1914_34, r_0080_0002__walked, scope).
arc(z_000_80_a_joyce_1914_34, r_0080_0021__as, restriction).
fof(formula,axiom,
? [Z_80_A_JOYCE_1914_34,R_80_21_AS,R_80_23_WENT,R_80_2_WALKED,R_80_1_I,R_80_3_AWAY,R_80_4_SLOWLY,R_80_6_THE_SIDE,R_80_7_SUNNY,R_80_10_THE_STREET] :
( i(R_80_1_I)
& away(R_80_3_AWAY)
& slowly(R_80_4_SLOWLY)
& sunny(R_80_7_SUNNY)
& the_street(R_80_10_THE_STREET)
& z_80_a_joyce_1914_34(Z_80_A_JOYCE_1914_34)
& conj1(Z_80_A_JOYCE_1914_34,R_80_21_AS)
& ! [R_80_15_THE_ADVERTISEMENTS,R_80_16_THEATRICAL] :
( ( theatrical(R_80_16_THEATRICAL)
& the_advertisements(R_80_15_THE_ADVERTISEMENTS)
& attrib43(R_80_15_THE_ADVERTISEMENTS,R_80_16_THEATRICAL) )
=> ? [R_80_13_READING,R_80_19_THE_SHOPWINDOWS] :
( the_shopwindows(R_80_19_THE_SHOPWINDOWS)
& reading(R_80_13_READING,R_80_1_I,R_80_15_THE_ADVERTISEMENTS)
& in_nim51(R_80_13_READING,R_80_19_THE_SHOPWINDOWS) ) )
& conj2(CONJ2)
& as(R_80_21_AS)
& conj1(R_80_21_AS,R_80_23_WENT)
& went(R_80_23_WENT,R_80_1_I)
& conj2(Z_80_A_JOYCE_1914_34,R_80_2_WALKED)
& walked(R_80_2_WALKED,R_80_1_I)
& clr7(R_80_2_WALKED,R_80_3_AWAY)
& nim10(R_80_2_WALKED,R_80_4_SLOWLY)
& along_nim16(R_80_2_WALKED,R_80_6_THE_SIDE)
& the_side(R_80_6_THE_SIDE)
& attrib19(R_80_6_THE_SIDE,R_80_7_SUNNY)
& of(R_80_6_THE_SIDE,R_80_10_THE_STREET) ) ).
( (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})
(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 80_a_joyce_1914))