Context                Previous, Next                Top


100_a_wilde_1_1888
He passed over the river, and saw the lanterns hanging to the masts of the ships.

%3 r_0100_0002__passed passed r_0100_0001__He He r_0100_0002__passed->r_0100_0001__He [arg0] r_0100_0004__the_r_0100_0005__river the river r_0100_0002__passed->r_0100_0004__the_r_0100_0005__river over [clr] r_0100_0007__and and r_0100_0007__and->r_0100_0002__passed [conj1] r_0100_0008__saw saw r_0100_0007__and->r_0100_0008__saw [conj2] r_0100_0008__saw->r_0100_0001__He [arg0] r_0100_0009__the_r_0100_0010__lanterns the lanterns r_0100_0008__saw->r_0100_0009__the_r_0100_0010__lanterns [arg1] r_0100_0011__hanging hanging r_0100_0011__hanging->r_0100_0009__the_r_0100_0010__lanterns [arg0] r_0100_0013__the_r_0100_0014__masts the masts r_0100_0011__hanging->r_0100_0013__the_r_0100_0014__masts to [clr] r_0100_0016__the_r_0100_0017__ships the ships r_0100_0013__the_r_0100_0014__masts->r_0100_0016__the_r_0100_0017__ships of 
arc(r_0100_0002__passed, r_0100_0001__He, arg0).
arc(r_0100_0002__passed, r_0100_0004__the_r_0100_0005__river, r_0100_0003__over_clr12).
arc(r_0100_0007__and, r_0100_0002__passed, conj1).
arc(r_0100_0007__and, r_0100_0008__saw, conj2).
arc(r_0100_0008__saw, r_0100_0001__He, arg0).
arc(r_0100_0008__saw, r_0100_0009__the_r_0100_0010__lanterns, arg1).
arc(r_0100_0011__hanging, r_0100_0009__the_r_0100_0010__lanterns, arg0).
arc(r_0100_0011__hanging, r_0100_0013__the_r_0100_0014__masts, r_0100_0012__to_clr36).
arc(r_0100_0013__the_r_0100_0014__masts, r_0100_0016__the_r_0100_0017__ships, r_0100_0015__of).


%3 r_0100_0013__the_r_0100_0014__masts the masts r_0100_0016__the_r_0100_0017__ships the ships r_0100_0013__the_r_0100_0014__masts->r_0100_0016__the_r_0100_0017__ships of r_0100_0011__hanging hanging r_0100_0011__hanging->r_0100_0013__the_r_0100_0014__masts to [clr] r_0100_0009__the_r_0100_0010__lanterns the lanterns r_0100_0011__hanging->r_0100_0009__the_r_0100_0010__lanterns [arg0] r_0100_0008__saw saw r_0100_0008__saw->r_0100_0009__the_r_0100_0010__lanterns [arg1] r_0100_0001__He He r_0100_0008__saw->r_0100_0001__He [arg0] r_0100_0007__and and r_0100_0007__and->r_0100_0008__saw [conj2] r_0100_0002__passed passed r_0100_0007__and->r_0100_0002__passed [conj1] r_0100_0002__passed->r_0100_0001__He [arg0] r_0100_0004__the_r_0100_0005__river the river r_0100_0002__passed->r_0100_0004__the_r_0100_0005__river over [clr] 
fof(formula,axiom,
    ? [R_100_7_AND,R_100_2_PASSED,R_100_4_THE_RIVER,R_100_8_SAW,R_100_1_HE,R_100_11_HANGING,R_100_9_THE_LANTERNS,R_100_13_THE_MASTS,R_100_16_THE_SHIPS] :
      ( the_river(R_100_4_THE_RIVER)
      & he(R_100_1_HE)
      & the_lanterns(R_100_9_THE_LANTERNS)
      & the_ships(R_100_16_THE_SHIPS)
      & and(R_100_7_AND)
      & conj1(R_100_7_AND,R_100_2_PASSED)
      & passed(R_100_2_PASSED,R_100_1_HE)
      & over_clr12(R_100_2_PASSED,R_100_4_THE_RIVER)
      & conj2(R_100_7_AND,R_100_8_SAW)
      & saw(R_100_8_SAW,R_100_1_HE,R_100_9_THE_LANTERNS)
      & hanging(R_100_11_HANGING,R_100_9_THE_LANTERNS)
      & to_clr36(R_100_11_HANGING,R_100_13_THE_MASTS)
      & the_masts(R_100_13_THE_MASTS)
      & of(R_100_13_THE_MASTS,R_100_16_THE_SHIPS) ) ).


n100_a_wilde_1_1888 n100_a_wilde_1_1888__1_1_1_1 He n100_a_wilde_1_1888__1_2_1_1_1 passed n100_a_wilde_1_1888__1_2_1_2_1_1 over n100_a_wilde_1_1888__1_2_1_2_2_1_1 the n100_a_wilde_1_1888__1_2_1_2_2_2_1 river n100_a_wilde_1_1888__1_2_2_1 , n100_a_wilde_1_1888__1_2_3_1_1 and n100_a_wilde_1_1888__1_2_3_2_1_1 saw n100_a_wilde_1_1888__1_2_3_2_2_1_1 the n100_a_wilde_1_1888__1_2_3_2_2_2_1 lanterns n100_a_wilde_1_1888__1_2_3_2_2_3_1_1 hanging n100_a_wilde_1_1888__1_2_3_2_2_3_2_1_1 to n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_1_1 the n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_2_1 masts n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_1_1 of n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_1_1 the n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_2_1 ships n100_a_wilde_1_1888__1_3_1 . n100_a_wilde_1_1888__1 IP-MAT n100_a_wilde_1_1888__1_1 NP-SBJ n100_a_wilde_1_1888__1->n100_a_wilde_1_1888__1_1 n100_a_wilde_1_1888__1_2 ILYR n100_a_wilde_1_1888__1->n100_a_wilde_1_1888__1_2 n100_a_wilde_1_1888__1_3 PUNC n100_a_wilde_1_1888__1->n100_a_wilde_1_1888__1_3 n100_a_wilde_1_1888__1_1_1 PRO n100_a_wilde_1_1888__1_1->n100_a_wilde_1_1888__1_1_1 n100_a_wilde_1_1888__1_1_1->n100_a_wilde_1_1888__1_1_1_1 n100_a_wilde_1_1888__1_2_1 ILYR n100_a_wilde_1_1888__1_2->n100_a_wilde_1_1888__1_2_1 n100_a_wilde_1_1888__1_2_2 PUNC n100_a_wilde_1_1888__1_2->n100_a_wilde_1_1888__1_2_2 n100_a_wilde_1_1888__1_2_3 CONJP n100_a_wilde_1_1888__1_2->n100_a_wilde_1_1888__1_2_3 n100_a_wilde_1_1888__1_2_1_1 VBD;_Ipr_ n100_a_wilde_1_1888__1_2_1->n100_a_wilde_1_1888__1_2_1_1 n100_a_wilde_1_1888__1_2_1_2 PP-CLR n100_a_wilde_1_1888__1_2_1->n100_a_wilde_1_1888__1_2_1_2 n100_a_wilde_1_1888__1_2_1_1->n100_a_wilde_1_1888__1_2_1_1_1 n100_a_wilde_1_1888__1_2_1_2_1 P-ROLE n100_a_wilde_1_1888__1_2_1_2->n100_a_wilde_1_1888__1_2_1_2_1 n100_a_wilde_1_1888__1_2_1_2_2 NP n100_a_wilde_1_1888__1_2_1_2->n100_a_wilde_1_1888__1_2_1_2_2 n100_a_wilde_1_1888__1_2_1_2_1->n100_a_wilde_1_1888__1_2_1_2_1_1 n100_a_wilde_1_1888__1_2_1_2_2_1 D n100_a_wilde_1_1888__1_2_1_2_2->n100_a_wilde_1_1888__1_2_1_2_2_1 n100_a_wilde_1_1888__1_2_1_2_2_2 N n100_a_wilde_1_1888__1_2_1_2_2->n100_a_wilde_1_1888__1_2_1_2_2_2 n100_a_wilde_1_1888__1_2_1_2_2_1->n100_a_wilde_1_1888__1_2_1_2_2_1_1 n100_a_wilde_1_1888__1_2_1_2_2_2->n100_a_wilde_1_1888__1_2_1_2_2_2_1 n100_a_wilde_1_1888__1_2_2->n100_a_wilde_1_1888__1_2_2_1 n100_a_wilde_1_1888__1_2_3_1 CONJ n100_a_wilde_1_1888__1_2_3->n100_a_wilde_1_1888__1_2_3_1 n100_a_wilde_1_1888__1_2_3_2 ILYR n100_a_wilde_1_1888__1_2_3->n100_a_wilde_1_1888__1_2_3_2 n100_a_wilde_1_1888__1_2_3_1->n100_a_wilde_1_1888__1_2_3_1_1 n100_a_wilde_1_1888__1_2_3_2_1 VBD;_Tn_ n100_a_wilde_1_1888__1_2_3_2->n100_a_wilde_1_1888__1_2_3_2_1 n100_a_wilde_1_1888__1_2_3_2_2 NP-OB1 n100_a_wilde_1_1888__1_2_3_2->n100_a_wilde_1_1888__1_2_3_2_2 n100_a_wilde_1_1888__1_2_3_2_1->n100_a_wilde_1_1888__1_2_3_2_1_1 n100_a_wilde_1_1888__1_2_3_2_2_1 D n100_a_wilde_1_1888__1_2_3_2_2->n100_a_wilde_1_1888__1_2_3_2_2_1 n100_a_wilde_1_1888__1_2_3_2_2_2 NS n100_a_wilde_1_1888__1_2_3_2_2->n100_a_wilde_1_1888__1_2_3_2_2_2 n100_a_wilde_1_1888__1_2_3_2_2_3 IP-PPL n100_a_wilde_1_1888__1_2_3_2_2->n100_a_wilde_1_1888__1_2_3_2_2_3 n100_a_wilde_1_1888__1_2_3_2_2_1->n100_a_wilde_1_1888__1_2_3_2_2_1_1 n100_a_wilde_1_1888__1_2_3_2_2_2->n100_a_wilde_1_1888__1_2_3_2_2_2_1 n100_a_wilde_1_1888__1_2_3_2_2_3_1 VAG;_Ipr_ n100_a_wilde_1_1888__1_2_3_2_2_3->n100_a_wilde_1_1888__1_2_3_2_2_3_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2 PP-CLR n100_a_wilde_1_1888__1_2_3_2_2_3->n100_a_wilde_1_1888__1_2_3_2_2_3_2 n100_a_wilde_1_1888__1_2_3_2_2_3_1->n100_a_wilde_1_1888__1_2_3_2_2_3_1_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_1 P-ROLE n100_a_wilde_1_1888__1_2_3_2_2_3_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2 NP n100_a_wilde_1_1888__1_2_3_2_2_3_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2 n100_a_wilde_1_1888__1_2_3_2_2_3_2_1->n100_a_wilde_1_1888__1_2_3_2_2_3_2_1_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_1 D n100_a_wilde_1_1888__1_2_3_2_2_3_2_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_2 NS n100_a_wilde_1_1888__1_2_3_2_2_3_2_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_2 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3 PP n100_a_wilde_1_1888__1_2_3_2_2_3_2_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_1->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_1_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_2_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_1 P-ROLE n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2 NP n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_1->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_1_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_1 D n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_2 NS n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_2 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_1->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_1_1 n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_2->n100_a_wilde_1_1888__1_2_3_2_2_3_2_2_3_2_2_1 n100_a_wilde_1_1888__1_3->n100_a_wilde_1_1888__1_3_1 
( (IP-MAT (NP-SBJ;{SWALLOW} (PRO He;{he}))
          (ILYR (ILYR (VBD;_Ipr_ passed;{pass[over]})
                      (PP-CLR (P-ROLE over;{over})
                              (NP (D the;{the})
                                  (N river;{river}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ saw;{see})
                             (NP-OB1 (D the;{the})
                                     (NS lanterns;{lantern})
                                     (IP-PPL (VAG;_Ipr_ hanging;{hang[to]})
                                             (PP-CLR (P-ROLE to;{to})
                                                     (NP (D the;{the})
                                                         (NS masts;{mast})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (D the;{the})
                                                                 (NS ships;{ship}))))))))))
          (PUNC .))
  (ID 100_a_wilde_1_1888))