Context                Previous, Next                Top


40_a_wilde_1_1888
So he alighted just between the feet of the Happy Prince.

%3 r_0040_0003__alighted alighted r_0040_0001__So So r_0040_0003__alighted->r_0040_0001__So [nim] r_0040_0002__he he r_0040_0003__alighted->r_0040_0002__he [arg0] r_0040_0006__the_r_0040_0007__feet the feet r_0040_0003__alighted->r_0040_0006__the_r_0040_0007__feet just between [nim] r_0040_0009__the_r_0040_0011__Prince the Prince r_0040_0006__the_r_0040_0007__feet->r_0040_0009__the_r_0040_0011__Prince of r_0040_0010__Happy Happy r_0040_0009__the_r_0040_0011__Prince->r_0040_0010__Happy [attrib] 
arc(r_0040_0003__alighted, r_0040_0001__So, nim2).
arc(r_0040_0003__alighted, r_0040_0002__he, arg0).
arc(r_0040_0003__alighted, r_0040_0006__the_r_0040_0007__feet, r_0040_0004__just_r_0040_0005__between_nim15).
arc(r_0040_0006__the_r_0040_0007__feet, r_0040_0009__the_r_0040_0011__Prince, r_0040_0008__of).
arc(r_0040_0009__the_r_0040_0011__Prince, r_0040_0010__Happy, attrib26).


%3 r_0040_0003__alighted alighted r_0040_0001__So So r_0040_0003__alighted->r_0040_0001__So [nim] r_0040_0002__he he r_0040_0003__alighted->r_0040_0002__he [arg0] r_0040_0006__the_r_0040_0007__feet the feet r_0040_0003__alighted->r_0040_0006__the_r_0040_0007__feet just between [nim] r_0040_0009__the_r_0040_0011__Prince the Prince r_0040_0006__the_r_0040_0007__feet->r_0040_0009__the_r_0040_0011__Prince of r_0040_0010__Happy Happy r_0040_0009__the_r_0040_0011__Prince->r_0040_0010__Happy [attrib] 
fof(formula,axiom,
    ? [R_40_3_ALIGHTED,R_40_2_HE,R_40_1_SO,R_40_6_THE_FEET,R_40_9_THE_PRINCE,R_40_10_HAPPY] :
      ( he(R_40_2_HE)
      & so(R_40_1_SO)
      & happy(R_40_10_HAPPY)
      & alighted(R_40_3_ALIGHTED,R_40_2_HE)
      & nim2(R_40_3_ALIGHTED,R_40_1_SO)
      & just_between_nim15(R_40_3_ALIGHTED,R_40_6_THE_FEET)
      & the_feet(R_40_6_THE_FEET)
      & of(R_40_6_THE_FEET,R_40_9_THE_PRINCE)
      & the_Prince(R_40_9_THE_PRINCE)
      & attrib26(R_40_9_THE_PRINCE,R_40_10_HAPPY) ) ).


n40_a_wilde_1_1888 n40_a_wilde_1_1888_4 So n40_a_wilde_1_1888_7 he n40_a_wilde_1_1888_9 alighted n40_a_wilde_1_1888_12 just n40_a_wilde_1_1888_14 between n40_a_wilde_1_1888_17 the n40_a_wilde_1_1888_19 feet n40_a_wilde_1_1888_22 of n40_a_wilde_1_1888_25 the n40_a_wilde_1_1888_28 Happy n40_a_wilde_1_1888_30 Prince n40_a_wilde_1_1888_32 . n40_a_wilde_1_1888_1 IP-MAT n40_a_wilde_1_1888_2 ADVP-NIM n40_a_wilde_1_1888_1->n40_a_wilde_1_1888_2 n40_a_wilde_1_1888_5 NP-SBJ n40_a_wilde_1_1888_1->n40_a_wilde_1_1888_5 n40_a_wilde_1_1888_8 VBD;_I_ n40_a_wilde_1_1888_1->n40_a_wilde_1_1888_8 n40_a_wilde_1_1888_10 PP-NIM n40_a_wilde_1_1888_1->n40_a_wilde_1_1888_10 n40_a_wilde_1_1888_31 PUNC n40_a_wilde_1_1888_1->n40_a_wilde_1_1888_31 n40_a_wilde_1_1888_3 ADV n40_a_wilde_1_1888_2->n40_a_wilde_1_1888_3 n40_a_wilde_1_1888_3->n40_a_wilde_1_1888_4 n40_a_wilde_1_1888_6 PRO n40_a_wilde_1_1888_5->n40_a_wilde_1_1888_6 n40_a_wilde_1_1888_6->n40_a_wilde_1_1888_7 n40_a_wilde_1_1888_8->n40_a_wilde_1_1888_9 n40_a_wilde_1_1888_11 ADV n40_a_wilde_1_1888_10->n40_a_wilde_1_1888_11 n40_a_wilde_1_1888_13 P-ROLE n40_a_wilde_1_1888_10->n40_a_wilde_1_1888_13 n40_a_wilde_1_1888_15 NP n40_a_wilde_1_1888_10->n40_a_wilde_1_1888_15 n40_a_wilde_1_1888_11->n40_a_wilde_1_1888_12 n40_a_wilde_1_1888_13->n40_a_wilde_1_1888_14 n40_a_wilde_1_1888_16 D n40_a_wilde_1_1888_15->n40_a_wilde_1_1888_16 n40_a_wilde_1_1888_18 NS n40_a_wilde_1_1888_15->n40_a_wilde_1_1888_18 n40_a_wilde_1_1888_20 PP n40_a_wilde_1_1888_15->n40_a_wilde_1_1888_20 n40_a_wilde_1_1888_16->n40_a_wilde_1_1888_17 n40_a_wilde_1_1888_18->n40_a_wilde_1_1888_19 n40_a_wilde_1_1888_21 P-ROLE n40_a_wilde_1_1888_20->n40_a_wilde_1_1888_21 n40_a_wilde_1_1888_23 NP n40_a_wilde_1_1888_20->n40_a_wilde_1_1888_23 n40_a_wilde_1_1888_21->n40_a_wilde_1_1888_22 n40_a_wilde_1_1888_24 D n40_a_wilde_1_1888_23->n40_a_wilde_1_1888_24 n40_a_wilde_1_1888_26 ADJP n40_a_wilde_1_1888_23->n40_a_wilde_1_1888_26 n40_a_wilde_1_1888_29 N n40_a_wilde_1_1888_23->n40_a_wilde_1_1888_29 n40_a_wilde_1_1888_24->n40_a_wilde_1_1888_25 n40_a_wilde_1_1888_27 ADJ n40_a_wilde_1_1888_26->n40_a_wilde_1_1888_27 n40_a_wilde_1_1888_27->n40_a_wilde_1_1888_28 n40_a_wilde_1_1888_29->n40_a_wilde_1_1888_30 n40_a_wilde_1_1888_31->n40_a_wilde_1_1888_32 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{SWALLOW} (PRO he;{he}))
          (VBD;_I_ alighted;{alight})
          (PP-NIM (ADV just;{just})
                  (P-ROLE between;{between})
                  (NP (D the;{the})
                      (NS feet;{foot})
                      (PP (P-ROLE of;{of})
                          (NP;{PRINCE} (D the;{the})
                                       (ADJP (ADJ Happy;{happy}))
                                       (N Prince;{prince})))))
          (PUNC .))
  (ID 40_a_wilde_1_1888))