Context                Previous, Next                Top


34_a_wilde_1_1888
All day long he flew, and at night-time he arrived at the city.

%3 r_0034_0001__All_quant All [quant] r_0034_0002__day day r_0034_0001__All_quant->r_0034_0002__day [restriction] r_0034_0003__long long r_0034_0001__All_quant->r_0034_0003__long [scope] r_0034_0003__long->r_0034_0002__day [nim] r_0034_0005__flew flew r_0034_0005__flew->r_0034_0003__long [nim] r_0034_0004__he he r_0034_0005__flew->r_0034_0004__he [arg0] r_0034_0007__and and r_0034_0007__and->r_0034_0005__flew [conj1] r_0034_0011__arrived arrived r_0034_0007__and->r_0034_0011__arrived [conj2] r_0034_0009__night__hyphen__time night-time r_0034_0011__arrived->r_0034_0009__night__hyphen__time at [nim] r_0034_0010__he he r_0034_0011__arrived->r_0034_0010__he [arg0] r_0034_0013__the_r_0034_0014__city the city r_0034_0011__arrived->r_0034_0013__the_r_0034_0014__city at [clr] 
arc(r_0034_0001__All_quant, r_0034_0002__day, restriction).
arc(r_0034_0001__All_quant, r_0034_0003__long, scope).
arc(r_0034_0003__long, r_0034_0002__day, nim5).
arc(r_0034_0005__flew, r_0034_0003__long, nim4).
arc(r_0034_0005__flew, r_0034_0004__he, arg0).
arc(r_0034_0007__and, r_0034_0005__flew, conj1).
arc(r_0034_0007__and, r_0034_0011__arrived, conj2).
arc(r_0034_0011__arrived, r_0034_0009__night__hyphen__time, r_0034_0008__at_nim26).
arc(r_0034_0011__arrived, r_0034_0010__he, arg0).
arc(r_0034_0011__arrived, r_0034_0013__the_r_0034_0014__city, r_0034_0012__at_clr37).


%3 r_0034_0011__arrived arrived r_0034_0013__the_r_0034_0014__city the city r_0034_0011__arrived->r_0034_0013__the_r_0034_0014__city at [clr] r_0034_0010__he he r_0034_0011__arrived->r_0034_0010__he [arg0] r_0034_0009__night__hyphen__time night-time r_0034_0011__arrived->r_0034_0009__night__hyphen__time at [nim] r_0034_0007__and and r_0034_0007__and->r_0034_0011__arrived [conj2] r_0034_0005__flew flew r_0034_0007__and->r_0034_0005__flew [conj1] r_0034_0004__he he r_0034_0005__flew->r_0034_0004__he [arg0] r_0034_0003__long long r_0034_0005__flew->r_0034_0003__long [nim] r_0034_0002__day day r_0034_0003__long->r_0034_0002__day [nim] r_0034_0001__All_quant All [quant] r_0034_0001__All_quant->r_0034_0005__flew [scope] r_0034_0001__All_quant->r_0034_0002__day [restriction] 
fof(formula,axiom,
    ? [R_34_7_AND,R_34_5_FLEW,R_34_4_HE,R_34_3_LONG,R_34_2_DAY,R_34_11_ARRIVED,R_34_10_HE,R_34_9_NIGHT_HYPHEN_TIME,R_34_13_THE_CITY] :
      ( he(R_34_4_HE)
      & day(R_34_2_DAY)
      & he(R_34_10_HE)
      & night_hyphen_time(R_34_9_NIGHT_HYPHEN_TIME)
      & the_city(R_34_13_THE_CITY)
      & ( true
       => true )
      & and(R_34_7_AND)
      & conj1(R_34_7_AND,R_34_5_FLEW)
      & flew(R_34_5_FLEW,R_34_4_HE)
      & nim4(R_34_5_FLEW,R_34_3_LONG)
      & long(R_34_3_LONG)
      & nim5(R_34_3_LONG,R_34_2_DAY)
      & conj2(R_34_7_AND,R_34_11_ARRIVED)
      & arrived(R_34_11_ARRIVED,R_34_10_HE)
      & at_nim26(R_34_11_ARRIVED,R_34_9_NIGHT_HYPHEN_TIME)
      & at_clr37(R_34_11_ARRIVED,R_34_13_THE_CITY) ) ).


n34_a_wilde_1_1888 n34_a_wilde_1_1888__1_1_1_1_1_1_1 All n34_a_wilde_1_1888__1_1_1_1_1_2_1 day n34_a_wilde_1_1888__1_1_1_1_2_1 long n34_a_wilde_1_1888__1_1_1_2_1_1 he n34_a_wilde_1_1888__1_1_1_3_1 flew n34_a_wilde_1_1888__1_1_2_1 , n34_a_wilde_1_1888__1_1_3_1_1 and n34_a_wilde_1_1888__1_1_3_2_1_1_1 at n34_a_wilde_1_1888__1_1_3_2_1_2_1_1 night-time n34_a_wilde_1_1888__1_1_3_2_2_1_1 he n34_a_wilde_1_1888__1_1_3_2_3_1 arrived n34_a_wilde_1_1888__1_1_3_2_4_1_1 at n34_a_wilde_1_1888__1_1_3_2_4_2_1_1 the n34_a_wilde_1_1888__1_1_3_2_4_2_2_1 city n34_a_wilde_1_1888__1_2_1 . n34_a_wilde_1_1888__1 IP-MAT n34_a_wilde_1_1888__1_1 ILYR n34_a_wilde_1_1888__1->n34_a_wilde_1_1888__1_1 n34_a_wilde_1_1888__1_2 PUNC n34_a_wilde_1_1888__1->n34_a_wilde_1_1888__1_2 n34_a_wilde_1_1888__1_1_1 ILYR n34_a_wilde_1_1888__1_1->n34_a_wilde_1_1888__1_1_1 n34_a_wilde_1_1888__1_1_2 PUNC n34_a_wilde_1_1888__1_1->n34_a_wilde_1_1888__1_1_2 n34_a_wilde_1_1888__1_1_3 CONJP n34_a_wilde_1_1888__1_1->n34_a_wilde_1_1888__1_1_3 n34_a_wilde_1_1888__1_1_1_1 ADVP-NIM n34_a_wilde_1_1888__1_1_1->n34_a_wilde_1_1888__1_1_1_1 n34_a_wilde_1_1888__1_1_1_2 NP-SBJ n34_a_wilde_1_1888__1_1_1->n34_a_wilde_1_1888__1_1_1_2 n34_a_wilde_1_1888__1_1_1_3 VBD;_I_ n34_a_wilde_1_1888__1_1_1->n34_a_wilde_1_1888__1_1_1_3 n34_a_wilde_1_1888__1_1_1_1_1 NP n34_a_wilde_1_1888__1_1_1_1->n34_a_wilde_1_1888__1_1_1_1_1 n34_a_wilde_1_1888__1_1_1_1_2 ADV n34_a_wilde_1_1888__1_1_1_1->n34_a_wilde_1_1888__1_1_1_1_2 n34_a_wilde_1_1888__1_1_1_1_1_1 Q n34_a_wilde_1_1888__1_1_1_1_1->n34_a_wilde_1_1888__1_1_1_1_1_1 n34_a_wilde_1_1888__1_1_1_1_1_2 N n34_a_wilde_1_1888__1_1_1_1_1->n34_a_wilde_1_1888__1_1_1_1_1_2 n34_a_wilde_1_1888__1_1_1_1_1_1->n34_a_wilde_1_1888__1_1_1_1_1_1_1 n34_a_wilde_1_1888__1_1_1_1_1_2->n34_a_wilde_1_1888__1_1_1_1_1_2_1 n34_a_wilde_1_1888__1_1_1_1_2->n34_a_wilde_1_1888__1_1_1_1_2_1 n34_a_wilde_1_1888__1_1_1_2_1 PRO n34_a_wilde_1_1888__1_1_1_2->n34_a_wilde_1_1888__1_1_1_2_1 n34_a_wilde_1_1888__1_1_1_2_1->n34_a_wilde_1_1888__1_1_1_2_1_1 n34_a_wilde_1_1888__1_1_1_3->n34_a_wilde_1_1888__1_1_1_3_1 n34_a_wilde_1_1888__1_1_2->n34_a_wilde_1_1888__1_1_2_1 n34_a_wilde_1_1888__1_1_3_1 CONJ n34_a_wilde_1_1888__1_1_3->n34_a_wilde_1_1888__1_1_3_1 n34_a_wilde_1_1888__1_1_3_2 ILYR n34_a_wilde_1_1888__1_1_3->n34_a_wilde_1_1888__1_1_3_2 n34_a_wilde_1_1888__1_1_3_1->n34_a_wilde_1_1888__1_1_3_1_1 n34_a_wilde_1_1888__1_1_3_2_1 PP-NIM n34_a_wilde_1_1888__1_1_3_2->n34_a_wilde_1_1888__1_1_3_2_1 n34_a_wilde_1_1888__1_1_3_2_2 NP-SBJ n34_a_wilde_1_1888__1_1_3_2->n34_a_wilde_1_1888__1_1_3_2_2 n34_a_wilde_1_1888__1_1_3_2_3 VBD;_Ipr_ n34_a_wilde_1_1888__1_1_3_2->n34_a_wilde_1_1888__1_1_3_2_3 n34_a_wilde_1_1888__1_1_3_2_4 PP-CLR n34_a_wilde_1_1888__1_1_3_2->n34_a_wilde_1_1888__1_1_3_2_4 n34_a_wilde_1_1888__1_1_3_2_1_1 P-ROLE n34_a_wilde_1_1888__1_1_3_2_1->n34_a_wilde_1_1888__1_1_3_2_1_1 n34_a_wilde_1_1888__1_1_3_2_1_2 NP n34_a_wilde_1_1888__1_1_3_2_1->n34_a_wilde_1_1888__1_1_3_2_1_2 n34_a_wilde_1_1888__1_1_3_2_1_1->n34_a_wilde_1_1888__1_1_3_2_1_1_1 n34_a_wilde_1_1888__1_1_3_2_1_2_1 N n34_a_wilde_1_1888__1_1_3_2_1_2->n34_a_wilde_1_1888__1_1_3_2_1_2_1 n34_a_wilde_1_1888__1_1_3_2_1_2_1->n34_a_wilde_1_1888__1_1_3_2_1_2_1_1 n34_a_wilde_1_1888__1_1_3_2_2_1 PRO n34_a_wilde_1_1888__1_1_3_2_2->n34_a_wilde_1_1888__1_1_3_2_2_1 n34_a_wilde_1_1888__1_1_3_2_2_1->n34_a_wilde_1_1888__1_1_3_2_2_1_1 n34_a_wilde_1_1888__1_1_3_2_3->n34_a_wilde_1_1888__1_1_3_2_3_1 n34_a_wilde_1_1888__1_1_3_2_4_1 P-ROLE n34_a_wilde_1_1888__1_1_3_2_4->n34_a_wilde_1_1888__1_1_3_2_4_1 n34_a_wilde_1_1888__1_1_3_2_4_2 NP n34_a_wilde_1_1888__1_1_3_2_4->n34_a_wilde_1_1888__1_1_3_2_4_2 n34_a_wilde_1_1888__1_1_3_2_4_1->n34_a_wilde_1_1888__1_1_3_2_4_1_1 n34_a_wilde_1_1888__1_1_3_2_4_2_1 D n34_a_wilde_1_1888__1_1_3_2_4_2->n34_a_wilde_1_1888__1_1_3_2_4_2_1 n34_a_wilde_1_1888__1_1_3_2_4_2_2 N n34_a_wilde_1_1888__1_1_3_2_4_2->n34_a_wilde_1_1888__1_1_3_2_4_2_2 n34_a_wilde_1_1888__1_1_3_2_4_2_1->n34_a_wilde_1_1888__1_1_3_2_4_2_1_1 n34_a_wilde_1_1888__1_1_3_2_4_2_2->n34_a_wilde_1_1888__1_1_3_2_4_2_2_1 n34_a_wilde_1_1888__1_2->n34_a_wilde_1_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (NP (Q All;{all})
                                    (N day;{day}))
                                (ADV long;{long}))
                      (NP-SBJ;{SWALLOW} (PRO he;{he}))
                      (VBD;_I_ flew;{fly}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE at;{at})
                                     (NP (N night_<hyphen>_time;{night_time})))
                             (NP-SBJ;{SWALLOW} (PRO he;{he}))
                             (VBD;_Ipr_ arrived;{arrive[at]})
                             (PP-CLR (P-ROLE at;{at})
                                     (NP (D the;{the})
                                         (N city;{city}))))))
          (PUNC .))
  (ID 34_a_wilde_1_1888))