Context                Previous, Next                Top


15_a_wilde_1_1888
One night there flew over the city a little Swallow.

%3 r_0015_0003__there_r_0015_0004__flew there flew r_0015_0001__One_r_0015_0002__night One night r_0015_0003__there_r_0015_0004__flew->r_0015_0001__One_r_0015_0002__night [nim] r_0015_0006__the_r_0015_0007__city the city r_0015_0003__there_r_0015_0004__flew->r_0015_0006__the_r_0015_0007__city over [clr] r_0015_0008__a_r_0015_0010__Swallow a Swallow r_0015_0003__there_r_0015_0004__flew->r_0015_0008__a_r_0015_0010__Swallow [arg0] r_0015_0009__little little r_0015_0008__a_r_0015_0010__Swallow->r_0015_0009__little [attrib] 
arc(r_0015_0003__there_r_0015_0004__flew, r_0015_0001__One_r_0015_0002__night, nim2).
arc(r_0015_0003__there_r_0015_0004__flew, r_0015_0006__the_r_0015_0007__city, r_0015_0005__over_clr14).
arc(r_0015_0003__there_r_0015_0004__flew, r_0015_0008__a_r_0015_0010__Swallow, arg0).
arc(r_0015_0008__a_r_0015_0010__Swallow, r_0015_0009__little, attrib22).


%3 r_0015_0008__a_r_0015_0010__Swallow a Swallow r_0015_0009__little little r_0015_0008__a_r_0015_0010__Swallow->r_0015_0009__little [attrib] r_0015_0003__there_r_0015_0004__flew there flew r_0015_0003__there_r_0015_0004__flew->r_0015_0008__a_r_0015_0010__Swallow [arg0] r_0015_0006__the_r_0015_0007__city the city r_0015_0003__there_r_0015_0004__flew->r_0015_0006__the_r_0015_0007__city over [clr] r_0015_0001__One_r_0015_0002__night One night r_0015_0003__there_r_0015_0004__flew->r_0015_0001__One_r_0015_0002__night [nim] 
fof(formula,axiom,
    ? [R_0015_0001__ONE_R_0015_0002__NIGHT,R_0015_0006__THE_R_0015_0007__CITY,R_0015_0009__LITTLE,R_0015_0008__A_R_0015_0010__SWALLOW,R_0015_0003__THERE_R_0015_0004__FLEW] :
      ( r_0015_0001__One_r_0015_0002__night(R_0015_0001__ONE_R_0015_0002__NIGHT)
      & r_0015_0006__the_r_0015_0007__city(R_0015_0006__THE_R_0015_0007__CITY)
      & r_0015_0009__little(R_0015_0009__LITTLE)
      & r_0015_0003__there_r_0015_0004__flew(R_0015_0003__THERE_R_0015_0004__FLEW)
      & has_arg0(R_0015_0003__THERE_R_0015_0004__FLEW,R_0015_0008__A_R_0015_0010__SWALLOW)
      & r_0015_0008__a_r_0015_0010__Swallow(R_0015_0008__A_R_0015_0010__SWALLOW)
      & has_attrib22(R_0015_0008__A_R_0015_0010__SWALLOW,R_0015_0009__LITTLE)
      & has_r_0015_0005__over_clr14(R_0015_0003__THERE_R_0015_0004__FLEW,R_0015_0006__THE_R_0015_0007__CITY)
      & has_nim2(R_0015_0003__THERE_R_0015_0004__FLEW,R_0015_0001__ONE_R_0015_0002__NIGHT) ) ).


n15_a_wilde_1_1888 n15_a_wilde_1_1888__1_1_1_1 One n15_a_wilde_1_1888__1_1_2_1 night n15_a_wilde_1_1888__1_2_1 there n15_a_wilde_1_1888__1_3_1 flew n15_a_wilde_1_1888__1_4_1_1 over n15_a_wilde_1_1888__1_4_2_1_1 the n15_a_wilde_1_1888__1_4_2_2_1 city n15_a_wilde_1_1888__1_5_1_1 a n15_a_wilde_1_1888__1_5_2_1_1 little n15_a_wilde_1_1888__1_5_3_1 Swallow n15_a_wilde_1_1888__1_6_1 . n15_a_wilde_1_1888__1 IP-MAT n15_a_wilde_1_1888__1_1 NP-NIM n15_a_wilde_1_1888__1->n15_a_wilde_1_1888__1_1 n15_a_wilde_1_1888__1_2 EX n15_a_wilde_1_1888__1->n15_a_wilde_1_1888__1_2 n15_a_wilde_1_1888__1_3 VBD;_ex_Vpr_ n15_a_wilde_1_1888__1->n15_a_wilde_1_1888__1_3 n15_a_wilde_1_1888__1_4 PP-CLR n15_a_wilde_1_1888__1->n15_a_wilde_1_1888__1_4 n15_a_wilde_1_1888__1_5 NP-ESBJ n15_a_wilde_1_1888__1->n15_a_wilde_1_1888__1_5 n15_a_wilde_1_1888__1_6 PUNC n15_a_wilde_1_1888__1->n15_a_wilde_1_1888__1_6 n15_a_wilde_1_1888__1_1_1 NUM n15_a_wilde_1_1888__1_1->n15_a_wilde_1_1888__1_1_1 n15_a_wilde_1_1888__1_1_2 N n15_a_wilde_1_1888__1_1->n15_a_wilde_1_1888__1_1_2 n15_a_wilde_1_1888__1_1_1->n15_a_wilde_1_1888__1_1_1_1 n15_a_wilde_1_1888__1_1_2->n15_a_wilde_1_1888__1_1_2_1 n15_a_wilde_1_1888__1_2->n15_a_wilde_1_1888__1_2_1 n15_a_wilde_1_1888__1_3->n15_a_wilde_1_1888__1_3_1 n15_a_wilde_1_1888__1_4_1 P-ROLE n15_a_wilde_1_1888__1_4->n15_a_wilde_1_1888__1_4_1 n15_a_wilde_1_1888__1_4_2 NP n15_a_wilde_1_1888__1_4->n15_a_wilde_1_1888__1_4_2 n15_a_wilde_1_1888__1_4_1->n15_a_wilde_1_1888__1_4_1_1 n15_a_wilde_1_1888__1_4_2_1 D n15_a_wilde_1_1888__1_4_2->n15_a_wilde_1_1888__1_4_2_1 n15_a_wilde_1_1888__1_4_2_2 N n15_a_wilde_1_1888__1_4_2->n15_a_wilde_1_1888__1_4_2_2 n15_a_wilde_1_1888__1_4_2_1->n15_a_wilde_1_1888__1_4_2_1_1 n15_a_wilde_1_1888__1_4_2_2->n15_a_wilde_1_1888__1_4_2_2_1 n15_a_wilde_1_1888__1_5_1 D n15_a_wilde_1_1888__1_5->n15_a_wilde_1_1888__1_5_1 n15_a_wilde_1_1888__1_5_2 ADJP n15_a_wilde_1_1888__1_5->n15_a_wilde_1_1888__1_5_2 n15_a_wilde_1_1888__1_5_3 N n15_a_wilde_1_1888__1_5->n15_a_wilde_1_1888__1_5_3 n15_a_wilde_1_1888__1_5_1->n15_a_wilde_1_1888__1_5_1_1 n15_a_wilde_1_1888__1_5_2_1 ADJ n15_a_wilde_1_1888__1_5_2->n15_a_wilde_1_1888__1_5_2_1 n15_a_wilde_1_1888__1_5_2_1->n15_a_wilde_1_1888__1_5_2_1_1 n15_a_wilde_1_1888__1_5_3->n15_a_wilde_1_1888__1_5_3_1 n15_a_wilde_1_1888__1_6->n15_a_wilde_1_1888__1_6_1 
( (IP-MAT (NP-NIM (NUM One;{one})
                  (N night;{night}))
          (EX there;{there})
          (VBD;_ex_Vpr_ flew;{fly[over]})
          (PP-CLR (P-ROLE over;{over})
                  (NP (D the;{the})
                      (N city;{city})))
          (NP-ESBJ;{SWALLOW} (D a;{a})
                             (ADJP (ADJ little;{little}))
                             (N Swallow;{swallow}))
          (PUNC .))
  (ID 15_a_wilde_1_1888))