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_0009__the_r_0040_0011__Prince the Prince r_0040_0010__Happy Happy r_0040_0009__the_r_0040_0011__Prince->r_0040_0010__Happy [attrib] r_0040_0006__the_r_0040_0007__feet the feet r_0040_0006__the_r_0040_0007__feet->r_0040_0009__the_r_0040_0011__Prince of r_0040_0003__alighted alighted r_0040_0003__alighted->r_0040_0006__the_r_0040_0007__feet just between [nim] r_0040_0002__he he r_0040_0003__alighted->r_0040_0002__he [arg0] r_0040_0001__So So r_0040_0003__alighted->r_0040_0001__So [nim] 
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__1_1_1_1 So n40_a_wilde_1_1888__1_2_1_1 he n40_a_wilde_1_1888__1_3_1 alighted n40_a_wilde_1_1888__1_4_1_1 just n40_a_wilde_1_1888__1_4_2_1 between n40_a_wilde_1_1888__1_4_3_1_1 the n40_a_wilde_1_1888__1_4_3_2_1 feet n40_a_wilde_1_1888__1_4_3_3_1_1 of n40_a_wilde_1_1888__1_4_3_3_2_1_1 the n40_a_wilde_1_1888__1_4_3_3_2_2_1_1 Happy n40_a_wilde_1_1888__1_4_3_3_2_3_1 Prince n40_a_wilde_1_1888__1_5_1 . n40_a_wilde_1_1888__1 IP-MAT n40_a_wilde_1_1888__1_1 ADVP-NIM n40_a_wilde_1_1888__1->n40_a_wilde_1_1888__1_1 n40_a_wilde_1_1888__1_2 NP-SBJ n40_a_wilde_1_1888__1->n40_a_wilde_1_1888__1_2 n40_a_wilde_1_1888__1_3 VBD;_I_ n40_a_wilde_1_1888__1->n40_a_wilde_1_1888__1_3 n40_a_wilde_1_1888__1_4 PP-NIM n40_a_wilde_1_1888__1->n40_a_wilde_1_1888__1_4 n40_a_wilde_1_1888__1_5 PUNC n40_a_wilde_1_1888__1->n40_a_wilde_1_1888__1_5 n40_a_wilde_1_1888__1_1_1 ADV n40_a_wilde_1_1888__1_1->n40_a_wilde_1_1888__1_1_1 n40_a_wilde_1_1888__1_1_1->n40_a_wilde_1_1888__1_1_1_1 n40_a_wilde_1_1888__1_2_1 PRO n40_a_wilde_1_1888__1_2->n40_a_wilde_1_1888__1_2_1 n40_a_wilde_1_1888__1_2_1->n40_a_wilde_1_1888__1_2_1_1 n40_a_wilde_1_1888__1_3->n40_a_wilde_1_1888__1_3_1 n40_a_wilde_1_1888__1_4_1 ADV n40_a_wilde_1_1888__1_4->n40_a_wilde_1_1888__1_4_1 n40_a_wilde_1_1888__1_4_2 P-ROLE n40_a_wilde_1_1888__1_4->n40_a_wilde_1_1888__1_4_2 n40_a_wilde_1_1888__1_4_3 NP n40_a_wilde_1_1888__1_4->n40_a_wilde_1_1888__1_4_3 n40_a_wilde_1_1888__1_4_1->n40_a_wilde_1_1888__1_4_1_1 n40_a_wilde_1_1888__1_4_2->n40_a_wilde_1_1888__1_4_2_1 n40_a_wilde_1_1888__1_4_3_1 D n40_a_wilde_1_1888__1_4_3->n40_a_wilde_1_1888__1_4_3_1 n40_a_wilde_1_1888__1_4_3_2 NS n40_a_wilde_1_1888__1_4_3->n40_a_wilde_1_1888__1_4_3_2 n40_a_wilde_1_1888__1_4_3_3 PP n40_a_wilde_1_1888__1_4_3->n40_a_wilde_1_1888__1_4_3_3 n40_a_wilde_1_1888__1_4_3_1->n40_a_wilde_1_1888__1_4_3_1_1 n40_a_wilde_1_1888__1_4_3_2->n40_a_wilde_1_1888__1_4_3_2_1 n40_a_wilde_1_1888__1_4_3_3_1 P-ROLE n40_a_wilde_1_1888__1_4_3_3->n40_a_wilde_1_1888__1_4_3_3_1 n40_a_wilde_1_1888__1_4_3_3_2 NP n40_a_wilde_1_1888__1_4_3_3->n40_a_wilde_1_1888__1_4_3_3_2 n40_a_wilde_1_1888__1_4_3_3_1->n40_a_wilde_1_1888__1_4_3_3_1_1 n40_a_wilde_1_1888__1_4_3_3_2_1 D n40_a_wilde_1_1888__1_4_3_3_2->n40_a_wilde_1_1888__1_4_3_3_2_1 n40_a_wilde_1_1888__1_4_3_3_2_2 ADJP n40_a_wilde_1_1888__1_4_3_3_2->n40_a_wilde_1_1888__1_4_3_3_2_2 n40_a_wilde_1_1888__1_4_3_3_2_3 N n40_a_wilde_1_1888__1_4_3_3_2->n40_a_wilde_1_1888__1_4_3_3_2_3 n40_a_wilde_1_1888__1_4_3_3_2_1->n40_a_wilde_1_1888__1_4_3_3_2_1_1 n40_a_wilde_1_1888__1_4_3_3_2_2_1 ADJ n40_a_wilde_1_1888__1_4_3_3_2_2->n40_a_wilde_1_1888__1_4_3_3_2_2_1 n40_a_wilde_1_1888__1_4_3_3_2_2_1->n40_a_wilde_1_1888__1_4_3_3_2_2_1_1 n40_a_wilde_1_1888__1_4_3_3_2_3->n40_a_wilde_1_1888__1_4_3_3_2_3_1 n40_a_wilde_1_1888__1_5->n40_a_wilde_1_1888__1_5_1 
( (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))