Context                Previous, Next                Top


34_a_wilde_1_1888
All day long he flew, and at night-time he arrived at 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))


%3 r_0034_0011__arrived_r_0034_0012__at arrived at r_0034_0013__the_r_0034_0014__city the city r_0034_0011__arrived_r_0034_0012__at->r_0034_0013__the_r_0034_0014__city [arg1] r_0034_0009__night__hyphen__time night-time r_0034_0011__arrived_r_0034_0012__at->r_0034_0009__night__hyphen__time at [nim] r_0034_0004__he he r_0034_0011__arrived_r_0034_0012__at->r_0034_0004__he [arg0] r_0034_0007__and and r_0034_0007__and->r_0034_0011__arrived_r_0034_0012__at [conj2] r_0034_0005__flew flew r_0034_0007__and->r_0034_0005__flew [conj1] 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_0003__long [scope] r_0034_0001__All__quant->r_0034_0002__day [restriction] 
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,nim).
arc(r_0034_0005__flew,r_0034_0003__long,nim).
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_r_0034_0012__at,conj2).
arc(r_0034_0011__arrived_r_0034_0012__at,r_0034_0004__he,arg0).
arc(r_0034_0011__arrived_r_0034_0012__at,r_0034_0009__night__hyphen__time,r_0034_0008__at__nim).
arc(r_0034_0011__arrived_r_0034_0012__at,r_0034_0013__the_r_0034_0014__city,arg1).


%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_r_0034_0012__at arrived at r_0034_0007__and->r_0034_0011__arrived_r_0034_0012__at [conj2] r_0034_0011__arrived_r_0034_0012__at->r_0034_0004__he [arg0] r_0034_0009__night__hyphen__time night-time r_0034_0011__arrived_r_0034_0012__at->r_0034_0009__night__hyphen__time at [nim] r_0034_0013__the_r_0034_0014__city the city r_0034_0011__arrived_r_0034_0012__at->r_0034_0013__the_r_0034_0014__city [arg1] 
fof(formula,axiom,
    ? [R_0034_0002__DAY,R_0034_0003__LONG,R_0034_0004__HE,R_0034_0005__FLEW,R_0034_0009__NIGHT__HYPHEN__TIME,R_0034_0013__THE_R_0034_0014__CITY,R_0034_0011__ARRIVED_R_0034_0012__AT,R_0034_0007__AND] :
      ( r_0034_0002__day(R_0034_0002__DAY)
      & r_0034_0004__he(R_0034_0004__HE)
      & r_0034_0009__night__hyphen__time(R_0034_0009__NIGHT__HYPHEN__TIME)
      & r_0034_0013__the_r_0034_0014__city(R_0034_0013__THE_R_0034_0014__CITY)
      & r_0034_0007__and(R_0034_0007__AND)
      & has_conj2(R_0034_0007__AND,R_0034_0011__ARRIVED_R_0034_0012__AT)
      & r_0034_0011__arrived_r_0034_0012__at(R_0034_0011__ARRIVED_R_0034_0012__AT)
      & has_arg1(R_0034_0011__ARRIVED_R_0034_0012__AT,R_0034_0013__THE_R_0034_0014__CITY)
      & has_r_0034_0008__at__nim(R_0034_0011__ARRIVED_R_0034_0012__AT,R_0034_0009__NIGHT__HYPHEN__TIME)
      & has_arg0(R_0034_0011__ARRIVED_R_0034_0012__AT,R_0034_0004__HE)
      & has_conj1(R_0034_0007__AND,R_0034_0005__FLEW)
      & r_0034_0005__flew(R_0034_0005__FLEW)
      & has_arg0(R_0034_0005__FLEW,R_0034_0004__HE)
      & has_nim(R_0034_0005__FLEW,R_0034_0003__LONG)
      & r_0034_0003__long(R_0034_0003__LONG)
      & has_nim(R_0034_0003__LONG,R_0034_0002__DAY)
      & ( r_0034_0002__day(R_0034_0002__DAY)
       => r_0034_0005__flew(R_0034_0005__FLEW) ) ) ).