Context                Previous, Next                Top


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.

%3 r_0080_0002__walked walked r_0080_0001__I I r_0080_0002__walked->r_0080_0001__I [arg0] r_0080_0003__away away r_0080_0002__walked->r_0080_0003__away [clr] r_0080_0004__slowly slowly r_0080_0002__walked->r_0080_0004__slowly [nim] r_0080_0006__the_r_0080_0008__side the side r_0080_0002__walked->r_0080_0006__the_r_0080_0008__side along [nim] r_0080_0007__sunny sunny r_0080_0006__the_r_0080_0008__side->r_0080_0007__sunny [attrib] r_0080_0010__the_r_0080_0011__street the street r_0080_0006__the_r_0080_0008__side->r_0080_0010__the_r_0080_0011__street of r_0080_0013__reading reading r_0080_0013__reading->r_0080_0001__I [arg0] r_0080_0015__the_r_0080_0017__advertisements the advertisements r_0080_0013__reading->r_0080_0015__the_r_0080_0017__advertisements [arg1] r_0080_0019__the_r_0080_0020__shopwindows the shopwindows r_0080_0013__reading->r_0080_0019__the_r_0080_0020__shopwindows in [nim] r_0080_0016__theatrical theatrical r_0080_0015__the_r_0080_0017__advertisements->r_0080_0016__theatrical [attrib] r_0080_0014__all_quant all [quant] r_0080_0014__all_quant->r_0080_0013__reading [scope] r_0080_0014__all_quant->r_0080_0015__the_r_0080_0017__advertisements [restriction] r_0080_0021__as as r_0080_0021__as->r_0080_0014__all_quant [scope] r_0080_0023__went went r_0080_0021__as->r_0080_0023__went [restriction] r_0080_0023__went->r_0080_0001__I [arg0] z_000_80_a_joyce_1914_34 z_000_80_a_joyce_1914_34->r_0080_0002__walked [scope] z_000_80_a_joyce_1914_34->r_0080_0021__as [restriction] 
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).


%3 z_000_80_a_joyce_1914_34 r_0080_0021__as as z_000_80_a_joyce_1914_34->r_0080_0021__as [conj1] r_0080_0002__walked walked z_000_80_a_joyce_1914_34->r_0080_0002__walked [conj2] r_0080_0023__went went r_0080_0021__as->r_0080_0023__went [conj1] r_0080_0014__all_quant all [quant] r_0080_0021__as->r_0080_0014__all_quant [conj2] r_0080_0001__I I r_0080_0002__walked->r_0080_0001__I [arg0] r_0080_0006__the_r_0080_0008__side the side r_0080_0002__walked->r_0080_0006__the_r_0080_0008__side along [nim] r_0080_0004__slowly slowly r_0080_0002__walked->r_0080_0004__slowly [nim] r_0080_0003__away away r_0080_0002__walked->r_0080_0003__away [clr] r_0080_0023__went->r_0080_0001__I [arg0] r_0080_0015__the_r_0080_0017__advertisements the advertisements r_0080_0014__all_quant->r_0080_0015__the_r_0080_0017__advertisements [restriction] r_0080_0013__reading reading r_0080_0014__all_quant->r_0080_0013__reading [scope] r_0080_0016__theatrical theatrical r_0080_0015__the_r_0080_0017__advertisements->r_0080_0016__theatrical [attrib] r_0080_0013__reading->r_0080_0001__I [arg0] r_0080_0013__reading->r_0080_0015__the_r_0080_0017__advertisements [arg1] r_0080_0019__the_r_0080_0020__shopwindows the shopwindows r_0080_0013__reading->r_0080_0019__the_r_0080_0020__shopwindows in [nim] r_0080_0010__the_r_0080_0011__street the street r_0080_0006__the_r_0080_0008__side->r_0080_0010__the_r_0080_0011__street of r_0080_0007__sunny sunny r_0080_0006__the_r_0080_0008__side->r_0080_0007__sunny [attrib] 
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) ) ).


n80_a_joyce_1914 n80_a_joyce_1914__1_1_1_1 I n80_a_joyce_1914__1_2_1 walked n80_a_joyce_1914__1_3_1_1 away n80_a_joyce_1914__1_4_1_1 slowly n80_a_joyce_1914__1_5_1_1 along n80_a_joyce_1914__1_5_2_1_1 the n80_a_joyce_1914__1_5_2_2_1_1 sunny n80_a_joyce_1914__1_5_2_3_1 side n80_a_joyce_1914__1_5_2_4_1_1 of n80_a_joyce_1914__1_5_2_4_2_1_1 the n80_a_joyce_1914__1_5_2_4_2_2_1 street n80_a_joyce_1914__1_6_1 , n80_a_joyce_1914__1_7_1_1_1 reading n80_a_joyce_1914__1_7_1_2_1_1 all n80_a_joyce_1914__1_7_1_2_2_1 the n80_a_joyce_1914__1_7_1_2_3_1_1 theatrical n80_a_joyce_1914__1_7_1_2_4_1 advertisements n80_a_joyce_1914__1_7_1_3_1_1 in n80_a_joyce_1914__1_7_1_3_2_1_1 the n80_a_joyce_1914__1_7_1_3_2_2_1 shopwindows n80_a_joyce_1914__1_7_1_4_1_1 as n80_a_joyce_1914__1_7_1_4_2_1_1_1 I n80_a_joyce_1914__1_7_1_4_2_2_1 went n80_a_joyce_1914__1_8_1 . n80_a_joyce_1914__1 IP-MAT n80_a_joyce_1914__1_1 NP-SBJ n80_a_joyce_1914__1->n80_a_joyce_1914__1_1 n80_a_joyce_1914__1_2 VBD;_Ip_ n80_a_joyce_1914__1->n80_a_joyce_1914__1_2 n80_a_joyce_1914__1_3 ADVP-CLR n80_a_joyce_1914__1->n80_a_joyce_1914__1_3 n80_a_joyce_1914__1_4 ADVP-NIM n80_a_joyce_1914__1->n80_a_joyce_1914__1_4 n80_a_joyce_1914__1_5 PP-NIM n80_a_joyce_1914__1->n80_a_joyce_1914__1_5 n80_a_joyce_1914__1_6 PUNC n80_a_joyce_1914__1->n80_a_joyce_1914__1_6 n80_a_joyce_1914__1_7 PP-SCON n80_a_joyce_1914__1->n80_a_joyce_1914__1_7 n80_a_joyce_1914__1_8 PUNC n80_a_joyce_1914__1->n80_a_joyce_1914__1_8 n80_a_joyce_1914__1_1_1 PRO n80_a_joyce_1914__1_1->n80_a_joyce_1914__1_1_1 n80_a_joyce_1914__1_1_1->n80_a_joyce_1914__1_1_1_1 n80_a_joyce_1914__1_2->n80_a_joyce_1914__1_2_1 n80_a_joyce_1914__1_3_1 RP n80_a_joyce_1914__1_3->n80_a_joyce_1914__1_3_1 n80_a_joyce_1914__1_3_1->n80_a_joyce_1914__1_3_1_1 n80_a_joyce_1914__1_4_1 ADV n80_a_joyce_1914__1_4->n80_a_joyce_1914__1_4_1 n80_a_joyce_1914__1_4_1->n80_a_joyce_1914__1_4_1_1 n80_a_joyce_1914__1_5_1 P-ROLE n80_a_joyce_1914__1_5->n80_a_joyce_1914__1_5_1 n80_a_joyce_1914__1_5_2 NP n80_a_joyce_1914__1_5->n80_a_joyce_1914__1_5_2 n80_a_joyce_1914__1_5_1->n80_a_joyce_1914__1_5_1_1 n80_a_joyce_1914__1_5_2_1 D n80_a_joyce_1914__1_5_2->n80_a_joyce_1914__1_5_2_1 n80_a_joyce_1914__1_5_2_2 ADJP n80_a_joyce_1914__1_5_2->n80_a_joyce_1914__1_5_2_2 n80_a_joyce_1914__1_5_2_3 N n80_a_joyce_1914__1_5_2->n80_a_joyce_1914__1_5_2_3 n80_a_joyce_1914__1_5_2_4 PP n80_a_joyce_1914__1_5_2->n80_a_joyce_1914__1_5_2_4 n80_a_joyce_1914__1_5_2_1->n80_a_joyce_1914__1_5_2_1_1 n80_a_joyce_1914__1_5_2_2_1 ADJ n80_a_joyce_1914__1_5_2_2->n80_a_joyce_1914__1_5_2_2_1 n80_a_joyce_1914__1_5_2_2_1->n80_a_joyce_1914__1_5_2_2_1_1 n80_a_joyce_1914__1_5_2_3->n80_a_joyce_1914__1_5_2_3_1 n80_a_joyce_1914__1_5_2_4_1 P-ROLE n80_a_joyce_1914__1_5_2_4->n80_a_joyce_1914__1_5_2_4_1 n80_a_joyce_1914__1_5_2_4_2 NP n80_a_joyce_1914__1_5_2_4->n80_a_joyce_1914__1_5_2_4_2 n80_a_joyce_1914__1_5_2_4_1->n80_a_joyce_1914__1_5_2_4_1_1 n80_a_joyce_1914__1_5_2_4_2_1 D n80_a_joyce_1914__1_5_2_4_2->n80_a_joyce_1914__1_5_2_4_2_1 n80_a_joyce_1914__1_5_2_4_2_2 N n80_a_joyce_1914__1_5_2_4_2->n80_a_joyce_1914__1_5_2_4_2_2 n80_a_joyce_1914__1_5_2_4_2_1->n80_a_joyce_1914__1_5_2_4_2_1_1 n80_a_joyce_1914__1_5_2_4_2_2->n80_a_joyce_1914__1_5_2_4_2_2_1 n80_a_joyce_1914__1_6->n80_a_joyce_1914__1_6_1 n80_a_joyce_1914__1_7_1 IP-PPL2 n80_a_joyce_1914__1_7->n80_a_joyce_1914__1_7_1 n80_a_joyce_1914__1_7_1_1 VAG;_Tn_ n80_a_joyce_1914__1_7_1->n80_a_joyce_1914__1_7_1_1 n80_a_joyce_1914__1_7_1_2 NP-OB1 n80_a_joyce_1914__1_7_1->n80_a_joyce_1914__1_7_1_2 n80_a_joyce_1914__1_7_1_3 PP-NIM n80_a_joyce_1914__1_7_1->n80_a_joyce_1914__1_7_1_3 n80_a_joyce_1914__1_7_1_4 PP-SCON n80_a_joyce_1914__1_7_1->n80_a_joyce_1914__1_7_1_4 n80_a_joyce_1914__1_7_1_1->n80_a_joyce_1914__1_7_1_1_1 n80_a_joyce_1914__1_7_1_2_1 Q;_nphd_ n80_a_joyce_1914__1_7_1_2->n80_a_joyce_1914__1_7_1_2_1 n80_a_joyce_1914__1_7_1_2_2 D n80_a_joyce_1914__1_7_1_2->n80_a_joyce_1914__1_7_1_2_2 n80_a_joyce_1914__1_7_1_2_3 ADJP n80_a_joyce_1914__1_7_1_2->n80_a_joyce_1914__1_7_1_2_3 n80_a_joyce_1914__1_7_1_2_4 NS n80_a_joyce_1914__1_7_1_2->n80_a_joyce_1914__1_7_1_2_4 n80_a_joyce_1914__1_7_1_2_1->n80_a_joyce_1914__1_7_1_2_1_1 n80_a_joyce_1914__1_7_1_2_2->n80_a_joyce_1914__1_7_1_2_2_1 n80_a_joyce_1914__1_7_1_2_3_1 ADJ n80_a_joyce_1914__1_7_1_2_3->n80_a_joyce_1914__1_7_1_2_3_1 n80_a_joyce_1914__1_7_1_2_3_1->n80_a_joyce_1914__1_7_1_2_3_1_1 n80_a_joyce_1914__1_7_1_2_4->n80_a_joyce_1914__1_7_1_2_4_1 n80_a_joyce_1914__1_7_1_3_1 P-ROLE n80_a_joyce_1914__1_7_1_3->n80_a_joyce_1914__1_7_1_3_1 n80_a_joyce_1914__1_7_1_3_2 NP n80_a_joyce_1914__1_7_1_3->n80_a_joyce_1914__1_7_1_3_2 n80_a_joyce_1914__1_7_1_3_1->n80_a_joyce_1914__1_7_1_3_1_1 n80_a_joyce_1914__1_7_1_3_2_1 D n80_a_joyce_1914__1_7_1_3_2->n80_a_joyce_1914__1_7_1_3_2_1 n80_a_joyce_1914__1_7_1_3_2_2 NS n80_a_joyce_1914__1_7_1_3_2->n80_a_joyce_1914__1_7_1_3_2_2 n80_a_joyce_1914__1_7_1_3_2_1->n80_a_joyce_1914__1_7_1_3_2_1_1 n80_a_joyce_1914__1_7_1_3_2_2->n80_a_joyce_1914__1_7_1_3_2_2_1 n80_a_joyce_1914__1_7_1_4_1 P-CONN n80_a_joyce_1914__1_7_1_4->n80_a_joyce_1914__1_7_1_4_1 n80_a_joyce_1914__1_7_1_4_2 IP-ADV n80_a_joyce_1914__1_7_1_4->n80_a_joyce_1914__1_7_1_4_2 n80_a_joyce_1914__1_7_1_4_1->n80_a_joyce_1914__1_7_1_4_1_1 n80_a_joyce_1914__1_7_1_4_2_1 NP-SBJ n80_a_joyce_1914__1_7_1_4_2->n80_a_joyce_1914__1_7_1_4_2_1 n80_a_joyce_1914__1_7_1_4_2_2 VBD;_I_ n80_a_joyce_1914__1_7_1_4_2->n80_a_joyce_1914__1_7_1_4_2_2 n80_a_joyce_1914__1_7_1_4_2_1_1 PRO n80_a_joyce_1914__1_7_1_4_2_1->n80_a_joyce_1914__1_7_1_4_2_1_1 n80_a_joyce_1914__1_7_1_4_2_1_1->n80_a_joyce_1914__1_7_1_4_2_1_1_1 n80_a_joyce_1914__1_7_1_4_2_2->n80_a_joyce_1914__1_7_1_4_2_2_1 n80_a_joyce_1914__1_8->n80_a_joyce_1914__1_8_1 
( (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))