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_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 
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_4 He n100_a_wilde_1_1888_8 passed n100_a_wilde_1_1888_11 over n100_a_wilde_1_1888_14 the n100_a_wilde_1_1888_16 river n100_a_wilde_1_1888_18 , n100_a_wilde_1_1888_21 and n100_a_wilde_1_1888_24 saw n100_a_wilde_1_1888_27 the n100_a_wilde_1_1888_29 lanterns n100_a_wilde_1_1888_32 hanging n100_a_wilde_1_1888_35 to n100_a_wilde_1_1888_38 the n100_a_wilde_1_1888_40 masts n100_a_wilde_1_1888_43 of n100_a_wilde_1_1888_46 the n100_a_wilde_1_1888_48 ships n100_a_wilde_1_1888_50 . n100_a_wilde_1_1888_1 IP-MAT n100_a_wilde_1_1888_2 NP-SBJ n100_a_wilde_1_1888_1->n100_a_wilde_1_1888_2 n100_a_wilde_1_1888_5 ILYR n100_a_wilde_1_1888_1->n100_a_wilde_1_1888_5 n100_a_wilde_1_1888_49 PUNC n100_a_wilde_1_1888_1->n100_a_wilde_1_1888_49 n100_a_wilde_1_1888_3 PRO n100_a_wilde_1_1888_2->n100_a_wilde_1_1888_3 n100_a_wilde_1_1888_3->n100_a_wilde_1_1888_4 n100_a_wilde_1_1888_6 ILYR n100_a_wilde_1_1888_5->n100_a_wilde_1_1888_6 n100_a_wilde_1_1888_17 PUNC n100_a_wilde_1_1888_5->n100_a_wilde_1_1888_17 n100_a_wilde_1_1888_19 CONJP n100_a_wilde_1_1888_5->n100_a_wilde_1_1888_19 n100_a_wilde_1_1888_7 VBD;_Ipr_ n100_a_wilde_1_1888_6->n100_a_wilde_1_1888_7 n100_a_wilde_1_1888_9 PP-CLR n100_a_wilde_1_1888_6->n100_a_wilde_1_1888_9 n100_a_wilde_1_1888_7->n100_a_wilde_1_1888_8 n100_a_wilde_1_1888_10 P-ROLE n100_a_wilde_1_1888_9->n100_a_wilde_1_1888_10 n100_a_wilde_1_1888_12 NP n100_a_wilde_1_1888_9->n100_a_wilde_1_1888_12 n100_a_wilde_1_1888_10->n100_a_wilde_1_1888_11 n100_a_wilde_1_1888_13 D n100_a_wilde_1_1888_12->n100_a_wilde_1_1888_13 n100_a_wilde_1_1888_15 N n100_a_wilde_1_1888_12->n100_a_wilde_1_1888_15 n100_a_wilde_1_1888_13->n100_a_wilde_1_1888_14 n100_a_wilde_1_1888_15->n100_a_wilde_1_1888_16 n100_a_wilde_1_1888_17->n100_a_wilde_1_1888_18 n100_a_wilde_1_1888_20 CONJ n100_a_wilde_1_1888_19->n100_a_wilde_1_1888_20 n100_a_wilde_1_1888_22 ILYR n100_a_wilde_1_1888_19->n100_a_wilde_1_1888_22 n100_a_wilde_1_1888_20->n100_a_wilde_1_1888_21 n100_a_wilde_1_1888_23 VBD;_Tn_ n100_a_wilde_1_1888_22->n100_a_wilde_1_1888_23 n100_a_wilde_1_1888_25 NP-OB1 n100_a_wilde_1_1888_22->n100_a_wilde_1_1888_25 n100_a_wilde_1_1888_23->n100_a_wilde_1_1888_24 n100_a_wilde_1_1888_26 D n100_a_wilde_1_1888_25->n100_a_wilde_1_1888_26 n100_a_wilde_1_1888_28 NS n100_a_wilde_1_1888_25->n100_a_wilde_1_1888_28 n100_a_wilde_1_1888_30 IP-PPL n100_a_wilde_1_1888_25->n100_a_wilde_1_1888_30 n100_a_wilde_1_1888_26->n100_a_wilde_1_1888_27 n100_a_wilde_1_1888_28->n100_a_wilde_1_1888_29 n100_a_wilde_1_1888_31 VAG;_Ipr_ n100_a_wilde_1_1888_30->n100_a_wilde_1_1888_31 n100_a_wilde_1_1888_33 PP-CLR n100_a_wilde_1_1888_30->n100_a_wilde_1_1888_33 n100_a_wilde_1_1888_31->n100_a_wilde_1_1888_32 n100_a_wilde_1_1888_34 P-ROLE n100_a_wilde_1_1888_33->n100_a_wilde_1_1888_34 n100_a_wilde_1_1888_36 NP n100_a_wilde_1_1888_33->n100_a_wilde_1_1888_36 n100_a_wilde_1_1888_34->n100_a_wilde_1_1888_35 n100_a_wilde_1_1888_37 D n100_a_wilde_1_1888_36->n100_a_wilde_1_1888_37 n100_a_wilde_1_1888_39 NS n100_a_wilde_1_1888_36->n100_a_wilde_1_1888_39 n100_a_wilde_1_1888_41 PP n100_a_wilde_1_1888_36->n100_a_wilde_1_1888_41 n100_a_wilde_1_1888_37->n100_a_wilde_1_1888_38 n100_a_wilde_1_1888_39->n100_a_wilde_1_1888_40 n100_a_wilde_1_1888_42 P-ROLE n100_a_wilde_1_1888_41->n100_a_wilde_1_1888_42 n100_a_wilde_1_1888_44 NP n100_a_wilde_1_1888_41->n100_a_wilde_1_1888_44 n100_a_wilde_1_1888_42->n100_a_wilde_1_1888_43 n100_a_wilde_1_1888_45 D n100_a_wilde_1_1888_44->n100_a_wilde_1_1888_45 n100_a_wilde_1_1888_47 NS n100_a_wilde_1_1888_44->n100_a_wilde_1_1888_47 n100_a_wilde_1_1888_45->n100_a_wilde_1_1888_46 n100_a_wilde_1_1888_47->n100_a_wilde_1_1888_48 n100_a_wilde_1_1888_49->n100_a_wilde_1_1888_50 
( (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))