Context                Previous, Next                Top


172_a_wilde_1_1888
“In the square below,” said the Happy Prince, “there stands a little match-girl.

%3 r_0172_0003__the_r_0172_0004__square the square r_0172_0005__below below r_0172_0003__the_r_0172_0004__square->r_0172_0005__below [qual] r_0172_0014__there_r_0172_0015__stands there stands r_0172_0014__there_r_0172_0015__stands->r_0172_0003__the_r_0172_0004__square In [nim] r_0172_0016__a_r_0172_0018__match__hyphen__girl a match-girl r_0172_0014__there_r_0172_0015__stands->r_0172_0016__a_r_0172_0018__match__hyphen__girl [arg0] r_0172_0017__little little r_0172_0016__a_r_0172_0018__match__hyphen__girl->r_0172_0017__little [attrib] 
arc(r_0172_0003__the_r_0172_0004__square, r_0172_0005__below, qual12).
arc(r_0172_0014__there_r_0172_0015__stands, r_0172_0003__the_r_0172_0004__square, r_0172_0002__In_nim7).
arc(r_0172_0014__there_r_0172_0015__stands, r_0172_0016__a_r_0172_0018__match__hyphen__girl, arg0).
arc(r_0172_0016__a_r_0172_0018__match__hyphen__girl, r_0172_0017__little, attrib42).


%3 r_0172_0016__a_r_0172_0018__match__hyphen__girl a match-girl r_0172_0017__little little r_0172_0016__a_r_0172_0018__match__hyphen__girl->r_0172_0017__little [attrib] r_0172_0014__there_r_0172_0015__stands there stands r_0172_0014__there_r_0172_0015__stands->r_0172_0016__a_r_0172_0018__match__hyphen__girl [arg0] r_0172_0003__the_r_0172_0004__square the square r_0172_0014__there_r_0172_0015__stands->r_0172_0003__the_r_0172_0004__square In [nim] r_0172_0005__below below r_0172_0003__the_r_0172_0004__square->r_0172_0005__below [qual] 
fof(formula,axiom,
    ? [R_0172_0005__BELOW,R_0172_0003__THE_R_0172_0004__SQUARE,R_0172_0017__LITTLE,R_0172_0016__A_R_0172_0018__MATCH__HYPHEN__GIRL,R_0172_0014__THERE_R_0172_0015__STANDS] :
      ( r_0172_0005__below(R_0172_0005__BELOW)
      & r_0172_0017__little(R_0172_0017__LITTLE)
      & r_0172_0014__there_r_0172_0015__stands(R_0172_0014__THERE_R_0172_0015__STANDS)
      & has_arg0(R_0172_0014__THERE_R_0172_0015__STANDS,R_0172_0016__A_R_0172_0018__MATCH__HYPHEN__GIRL)
      & r_0172_0016__a_r_0172_0018__match__hyphen__girl(R_0172_0016__A_R_0172_0018__MATCH__HYPHEN__GIRL)
      & has_attrib42(R_0172_0016__A_R_0172_0018__MATCH__HYPHEN__GIRL,R_0172_0017__LITTLE)
      & has_r_0172_0002__In_nim7(R_0172_0014__THERE_R_0172_0015__STANDS,R_0172_0003__THE_R_0172_0004__SQUARE)
      & r_0172_0003__the_r_0172_0004__square(R_0172_0003__THE_R_0172_0004__SQUARE)
      & has_qual12(R_0172_0003__THE_R_0172_0004__SQUARE,R_0172_0005__BELOW) ) ).


n172_a_wilde_1_1888 n172_a_wilde_1_1888__1_1_1 <ldquo> n172_a_wilde_1_1888__1_2_1_1 In n172_a_wilde_1_1888__1_2_2_1_1 the n172_a_wilde_1_1888__1_2_2_2_1 square n172_a_wilde_1_1888__1_2_2_3_1_1 below n172_a_wilde_1_1888__1_3_1 , n172_a_wilde_1_1888__1_4_1 <rdquo> n172_a_wilde_1_1888__1_5_1_1_1 said n172_a_wilde_1_1888__1_5_1_2_1_1 the n172_a_wilde_1_1888__1_5_1_2_2_1_1 Happy n172_a_wilde_1_1888__1_5_1_2_3_1 Prince n172_a_wilde_1_1888__1_6_1 , n172_a_wilde_1_1888__1_7_1 <ldquo> n172_a_wilde_1_1888__1_8_1 there n172_a_wilde_1_1888__1_9_1 stands n172_a_wilde_1_1888__1_10_1_1 a n172_a_wilde_1_1888__1_10_2_1_1 little n172_a_wilde_1_1888__1_10_3_1 match-girl n172_a_wilde_1_1888__1_11_1 . n172_a_wilde_1_1888__1 IP-MAT n172_a_wilde_1_1888__1_1 PULQ n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_1 n172_a_wilde_1_1888__1_2 PP-NIM n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_2 n172_a_wilde_1_1888__1_3 PUNC n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_3 n172_a_wilde_1_1888__1_4 PURQ n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_4 n172_a_wilde_1_1888__1_5 PRN n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_5 n172_a_wilde_1_1888__1_6 PUNC n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_6 n172_a_wilde_1_1888__1_7 PULQ n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_7 n172_a_wilde_1_1888__1_8 EX n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_8 n172_a_wilde_1_1888__1_9 VBP;_ex_V_ n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_9 n172_a_wilde_1_1888__1_10 NP-ESBJ n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_10 n172_a_wilde_1_1888__1_11 PUNC n172_a_wilde_1_1888__1->n172_a_wilde_1_1888__1_11 n172_a_wilde_1_1888__1_1->n172_a_wilde_1_1888__1_1_1 n172_a_wilde_1_1888__1_2_1 P-ROLE n172_a_wilde_1_1888__1_2->n172_a_wilde_1_1888__1_2_1 n172_a_wilde_1_1888__1_2_2 NP n172_a_wilde_1_1888__1_2->n172_a_wilde_1_1888__1_2_2 n172_a_wilde_1_1888__1_2_1->n172_a_wilde_1_1888__1_2_1_1 n172_a_wilde_1_1888__1_2_2_1 D n172_a_wilde_1_1888__1_2_2->n172_a_wilde_1_1888__1_2_2_1 n172_a_wilde_1_1888__1_2_2_2 N n172_a_wilde_1_1888__1_2_2->n172_a_wilde_1_1888__1_2_2_2 n172_a_wilde_1_1888__1_2_2_3 ADVP-NIM n172_a_wilde_1_1888__1_2_2->n172_a_wilde_1_1888__1_2_2_3 n172_a_wilde_1_1888__1_2_2_1->n172_a_wilde_1_1888__1_2_2_1_1 n172_a_wilde_1_1888__1_2_2_2->n172_a_wilde_1_1888__1_2_2_2_1 n172_a_wilde_1_1888__1_2_2_3_1 ADV n172_a_wilde_1_1888__1_2_2_3->n172_a_wilde_1_1888__1_2_2_3_1 n172_a_wilde_1_1888__1_2_2_3_1->n172_a_wilde_1_1888__1_2_2_3_1_1 n172_a_wilde_1_1888__1_3->n172_a_wilde_1_1888__1_3_1 n172_a_wilde_1_1888__1_4->n172_a_wilde_1_1888__1_4_1 n172_a_wilde_1_1888__1_5_1 IP-MAT n172_a_wilde_1_1888__1_5->n172_a_wilde_1_1888__1_5_1 n172_a_wilde_1_1888__1_5_1_1 VBD;_Tr_ n172_a_wilde_1_1888__1_5_1->n172_a_wilde_1_1888__1_5_1_1 n172_a_wilde_1_1888__1_5_1_2 NP-SBJ n172_a_wilde_1_1888__1_5_1->n172_a_wilde_1_1888__1_5_1_2 n172_a_wilde_1_1888__1_5_1_1->n172_a_wilde_1_1888__1_5_1_1_1 n172_a_wilde_1_1888__1_5_1_2_1 D n172_a_wilde_1_1888__1_5_1_2->n172_a_wilde_1_1888__1_5_1_2_1 n172_a_wilde_1_1888__1_5_1_2_2 ADJP n172_a_wilde_1_1888__1_5_1_2->n172_a_wilde_1_1888__1_5_1_2_2 n172_a_wilde_1_1888__1_5_1_2_3 N n172_a_wilde_1_1888__1_5_1_2->n172_a_wilde_1_1888__1_5_1_2_3 n172_a_wilde_1_1888__1_5_1_2_1->n172_a_wilde_1_1888__1_5_1_2_1_1 n172_a_wilde_1_1888__1_5_1_2_2_1 ADJ n172_a_wilde_1_1888__1_5_1_2_2->n172_a_wilde_1_1888__1_5_1_2_2_1 n172_a_wilde_1_1888__1_5_1_2_2_1->n172_a_wilde_1_1888__1_5_1_2_2_1_1 n172_a_wilde_1_1888__1_5_1_2_3->n172_a_wilde_1_1888__1_5_1_2_3_1 n172_a_wilde_1_1888__1_6->n172_a_wilde_1_1888__1_6_1 n172_a_wilde_1_1888__1_7->n172_a_wilde_1_1888__1_7_1 n172_a_wilde_1_1888__1_8->n172_a_wilde_1_1888__1_8_1 n172_a_wilde_1_1888__1_9->n172_a_wilde_1_1888__1_9_1 n172_a_wilde_1_1888__1_10_1 D n172_a_wilde_1_1888__1_10->n172_a_wilde_1_1888__1_10_1 n172_a_wilde_1_1888__1_10_2 ADJP n172_a_wilde_1_1888__1_10->n172_a_wilde_1_1888__1_10_2 n172_a_wilde_1_1888__1_10_3 N n172_a_wilde_1_1888__1_10->n172_a_wilde_1_1888__1_10_3 n172_a_wilde_1_1888__1_10_1->n172_a_wilde_1_1888__1_10_1_1 n172_a_wilde_1_1888__1_10_2_1 ADJ n172_a_wilde_1_1888__1_10_2->n172_a_wilde_1_1888__1_10_2_1 n172_a_wilde_1_1888__1_10_2_1->n172_a_wilde_1_1888__1_10_2_1_1 n172_a_wilde_1_1888__1_10_3->n172_a_wilde_1_1888__1_10_3_1 n172_a_wilde_1_1888__1_11->n172_a_wilde_1_1888__1_11_1 
( (IP-MAT (PULQ <ldquo>)
          (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (N square;{square})
                      (ADVP-NIM (ADV below;{below}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (PRN (IP-MAT (VBD;_Tr_ said;{say})
                       (NP-SBJ;{PRINCE} (D the;{the})
                                        (ADJP (ADJ Happy;{happy}))
                                        (N Prince;{prince}))))
          (PUNC ,)
          (PULQ <ldquo>)
          (EX there;{there})
          (VBP;_ex_V_ stands;{stand})
          (NP-ESBJ;{MATCH_GIRL} (D a;{a})
                                (ADJP (ADJ little;{little}))
                                (N match_<hyphen>_girl;{match_girl}))
          (PUNC .))
  (ID 172_a_wilde_1_1888))