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_0001__All_quant All [quant] r_0034_0002__day day r_0034_0001__All_quant->r_0034_0002__day [restriction] r_0034_0005__flew flew r_0034_0001__All_quant->r_0034_0005__flew [scope] r_0034_0003__long long 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_0003__long->r_0034_0002__day [nim] 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] 
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_7 All n34_a_wilde_1_1888_9 day n34_a_wilde_1_1888_11 long n34_a_wilde_1_1888_14 he n34_a_wilde_1_1888_16 flew n34_a_wilde_1_1888_18 , n34_a_wilde_1_1888_21 and n34_a_wilde_1_1888_25 at n34_a_wilde_1_1888_28 night-time n34_a_wilde_1_1888_31 he n34_a_wilde_1_1888_33 arrived n34_a_wilde_1_1888_36 at n34_a_wilde_1_1888_39 the n34_a_wilde_1_1888_41 city n34_a_wilde_1_1888_43 . n34_a_wilde_1_1888_1 IP-MAT n34_a_wilde_1_1888_2 ILYR n34_a_wilde_1_1888_1->n34_a_wilde_1_1888_2 n34_a_wilde_1_1888_42 PUNC n34_a_wilde_1_1888_1->n34_a_wilde_1_1888_42 n34_a_wilde_1_1888_3 ILYR n34_a_wilde_1_1888_2->n34_a_wilde_1_1888_3 n34_a_wilde_1_1888_17 PUNC n34_a_wilde_1_1888_2->n34_a_wilde_1_1888_17 n34_a_wilde_1_1888_19 CONJP n34_a_wilde_1_1888_2->n34_a_wilde_1_1888_19 n34_a_wilde_1_1888_4 ADVP-NIM n34_a_wilde_1_1888_3->n34_a_wilde_1_1888_4 n34_a_wilde_1_1888_12 NP-SBJ n34_a_wilde_1_1888_3->n34_a_wilde_1_1888_12 n34_a_wilde_1_1888_15 VBD;_I_ n34_a_wilde_1_1888_3->n34_a_wilde_1_1888_15 n34_a_wilde_1_1888_5 NP n34_a_wilde_1_1888_4->n34_a_wilde_1_1888_5 n34_a_wilde_1_1888_10 ADV n34_a_wilde_1_1888_4->n34_a_wilde_1_1888_10 n34_a_wilde_1_1888_6 Q n34_a_wilde_1_1888_5->n34_a_wilde_1_1888_6 n34_a_wilde_1_1888_8 N n34_a_wilde_1_1888_5->n34_a_wilde_1_1888_8 n34_a_wilde_1_1888_6->n34_a_wilde_1_1888_7 n34_a_wilde_1_1888_8->n34_a_wilde_1_1888_9 n34_a_wilde_1_1888_10->n34_a_wilde_1_1888_11 n34_a_wilde_1_1888_13 PRO n34_a_wilde_1_1888_12->n34_a_wilde_1_1888_13 n34_a_wilde_1_1888_13->n34_a_wilde_1_1888_14 n34_a_wilde_1_1888_15->n34_a_wilde_1_1888_16 n34_a_wilde_1_1888_17->n34_a_wilde_1_1888_18 n34_a_wilde_1_1888_20 CONJ n34_a_wilde_1_1888_19->n34_a_wilde_1_1888_20 n34_a_wilde_1_1888_22 ILYR n34_a_wilde_1_1888_19->n34_a_wilde_1_1888_22 n34_a_wilde_1_1888_20->n34_a_wilde_1_1888_21 n34_a_wilde_1_1888_23 PP-NIM n34_a_wilde_1_1888_22->n34_a_wilde_1_1888_23 n34_a_wilde_1_1888_29 NP-SBJ n34_a_wilde_1_1888_22->n34_a_wilde_1_1888_29 n34_a_wilde_1_1888_32 VBD;_Ipr_ n34_a_wilde_1_1888_22->n34_a_wilde_1_1888_32 n34_a_wilde_1_1888_34 PP-CLR n34_a_wilde_1_1888_22->n34_a_wilde_1_1888_34 n34_a_wilde_1_1888_24 P-ROLE n34_a_wilde_1_1888_23->n34_a_wilde_1_1888_24 n34_a_wilde_1_1888_26 NP n34_a_wilde_1_1888_23->n34_a_wilde_1_1888_26 n34_a_wilde_1_1888_24->n34_a_wilde_1_1888_25 n34_a_wilde_1_1888_27 N n34_a_wilde_1_1888_26->n34_a_wilde_1_1888_27 n34_a_wilde_1_1888_27->n34_a_wilde_1_1888_28 n34_a_wilde_1_1888_30 PRO n34_a_wilde_1_1888_29->n34_a_wilde_1_1888_30 n34_a_wilde_1_1888_30->n34_a_wilde_1_1888_31 n34_a_wilde_1_1888_32->n34_a_wilde_1_1888_33 n34_a_wilde_1_1888_35 P-ROLE n34_a_wilde_1_1888_34->n34_a_wilde_1_1888_35 n34_a_wilde_1_1888_37 NP n34_a_wilde_1_1888_34->n34_a_wilde_1_1888_37 n34_a_wilde_1_1888_35->n34_a_wilde_1_1888_36 n34_a_wilde_1_1888_38 D n34_a_wilde_1_1888_37->n34_a_wilde_1_1888_38 n34_a_wilde_1_1888_40 N n34_a_wilde_1_1888_37->n34_a_wilde_1_1888_40 n34_a_wilde_1_1888_38->n34_a_wilde_1_1888_39 n34_a_wilde_1_1888_40->n34_a_wilde_1_1888_41 n34_a_wilde_1_1888_42->n34_a_wilde_1_1888_43 
( (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))