Context                Previous, Next                Top


2_a_wilde_1_1888
High above the city, on a tall column, stood the statue of the Happy Prince.

%3 r_0002_0001__High High r_0002_0003__the_r_0002_0004__city the city r_0002_0001__High->r_0002_0003__the_r_0002_0004__city above r_0002_0007__a_r_0002_0009__column a column r_0002_0008__tall tall r_0002_0007__a_r_0002_0009__column->r_0002_0008__tall [attrib] r_0002_0011__stood stood r_0002_0011__stood->r_0002_0001__High [nim] r_0002_0011__stood->r_0002_0007__a_r_0002_0009__column on [nim] r_0002_0012__the_r_0002_0013__statue the statue r_0002_0011__stood->r_0002_0012__the_r_0002_0013__statue [arg0] r_0002_0015__the_r_0002_0017__Prince the Prince r_0002_0012__the_r_0002_0013__statue->r_0002_0015__the_r_0002_0017__Prince of r_0002_0016__Happy Happy r_0002_0015__the_r_0002_0017__Prince->r_0002_0016__Happy [attrib] 
arc(r_0002_0001__High, r_0002_0003__the_r_0002_0004__city, r_0002_0002__above).
arc(r_0002_0007__a_r_0002_0009__column, r_0002_0008__tall, attrib21).
arc(r_0002_0011__stood, r_0002_0001__High, nim2).
arc(r_0002_0011__stood, r_0002_0007__a_r_0002_0009__column, r_0002_0006__on_nim18).
arc(r_0002_0011__stood, r_0002_0012__the_r_0002_0013__statue, arg0).
arc(r_0002_0012__the_r_0002_0013__statue, r_0002_0015__the_r_0002_0017__Prince, r_0002_0014__of).
arc(r_0002_0015__the_r_0002_0017__Prince, r_0002_0016__Happy, attrib41).


%3 r_0002_0015__the_r_0002_0017__Prince the Prince r_0002_0016__Happy Happy r_0002_0015__the_r_0002_0017__Prince->r_0002_0016__Happy [attrib] r_0002_0012__the_r_0002_0013__statue the statue r_0002_0012__the_r_0002_0013__statue->r_0002_0015__the_r_0002_0017__Prince of r_0002_0011__stood stood r_0002_0011__stood->r_0002_0012__the_r_0002_0013__statue [arg0] r_0002_0007__a_r_0002_0009__column a column r_0002_0011__stood->r_0002_0007__a_r_0002_0009__column on [nim] r_0002_0001__High High r_0002_0011__stood->r_0002_0001__High [nim] r_0002_0008__tall tall r_0002_0007__a_r_0002_0009__column->r_0002_0008__tall [attrib] r_0002_0003__the_r_0002_0004__city the city r_0002_0001__High->r_0002_0003__the_r_0002_0004__city above 
fof(formula,axiom,
    ? [R_0002_0003__THE_R_0002_0004__CITY,R_0002_0001__HIGH,R_0002_0008__TALL,R_0002_0007__A_R_0002_0009__COLUMN,R_0002_0016__HAPPY,R_0002_0015__THE_R_0002_0017__PRINCE,R_0002_0012__THE_R_0002_0013__STATUE,R_0002_0011__STOOD] :
      ( r_0002_0003__the_r_0002_0004__city(R_0002_0003__THE_R_0002_0004__CITY)
      & r_0002_0008__tall(R_0002_0008__TALL)
      & r_0002_0016__Happy(R_0002_0016__HAPPY)
      & r_0002_0011__stood(R_0002_0011__STOOD)
      & has_arg0(R_0002_0011__STOOD,R_0002_0012__THE_R_0002_0013__STATUE)
      & r_0002_0012__the_r_0002_0013__statue(R_0002_0012__THE_R_0002_0013__STATUE)
      & has_r_0002_0014__of(R_0002_0012__THE_R_0002_0013__STATUE,R_0002_0015__THE_R_0002_0017__PRINCE)
      & r_0002_0015__the_r_0002_0017__Prince(R_0002_0015__THE_R_0002_0017__PRINCE)
      & has_attrib41(R_0002_0015__THE_R_0002_0017__PRINCE,R_0002_0016__HAPPY)
      & has_r_0002_0006__on_nim18(R_0002_0011__STOOD,R_0002_0007__A_R_0002_0009__COLUMN)
      & r_0002_0007__a_r_0002_0009__column(R_0002_0007__A_R_0002_0009__COLUMN)
      & has_attrib21(R_0002_0007__A_R_0002_0009__COLUMN,R_0002_0008__TALL)
      & has_nim2(R_0002_0011__STOOD,R_0002_0001__HIGH)
      & r_0002_0001__High(R_0002_0001__HIGH)
      & has_r_0002_0002__above(R_0002_0001__HIGH,R_0002_0003__THE_R_0002_0004__CITY) ) ).


n2_a_wilde_1_1888 n2_a_wilde_1_1888__1_1_1_1 High n2_a_wilde_1_1888__1_1_2_1_1 above n2_a_wilde_1_1888__1_1_2_2_1_1 the n2_a_wilde_1_1888__1_1_2_2_2_1 city n2_a_wilde_1_1888__1_2_1 , n2_a_wilde_1_1888__1_3_1_1 on n2_a_wilde_1_1888__1_3_2_1_1 a n2_a_wilde_1_1888__1_3_2_2_1_1 tall n2_a_wilde_1_1888__1_3_2_3_1 column n2_a_wilde_1_1888__1_4_1 , n2_a_wilde_1_1888__1_5_1 stood n2_a_wilde_1_1888__1_6_1_1 the n2_a_wilde_1_1888__1_6_2_1 statue n2_a_wilde_1_1888__1_6_3_1_1 of n2_a_wilde_1_1888__1_6_3_2_1_1 the n2_a_wilde_1_1888__1_6_3_2_2_1_1 Happy n2_a_wilde_1_1888__1_6_3_2_3_1 Prince n2_a_wilde_1_1888__1_7_1 . n2_a_wilde_1_1888__1 IP-MAT n2_a_wilde_1_1888__1_1 ADVP-TPC-NIM n2_a_wilde_1_1888__1->n2_a_wilde_1_1888__1_1 n2_a_wilde_1_1888__1_2 PUNC n2_a_wilde_1_1888__1->n2_a_wilde_1_1888__1_2 n2_a_wilde_1_1888__1_3 PP-TPC-NIM n2_a_wilde_1_1888__1->n2_a_wilde_1_1888__1_3 n2_a_wilde_1_1888__1_4 PUNC n2_a_wilde_1_1888__1->n2_a_wilde_1_1888__1_4 n2_a_wilde_1_1888__1_5 VBD;_I_ n2_a_wilde_1_1888__1->n2_a_wilde_1_1888__1_5 n2_a_wilde_1_1888__1_6 NP-SBJ n2_a_wilde_1_1888__1->n2_a_wilde_1_1888__1_6 n2_a_wilde_1_1888__1_7 PUNC n2_a_wilde_1_1888__1->n2_a_wilde_1_1888__1_7 n2_a_wilde_1_1888__1_1_1 ADV n2_a_wilde_1_1888__1_1->n2_a_wilde_1_1888__1_1_1 n2_a_wilde_1_1888__1_1_2 PP n2_a_wilde_1_1888__1_1->n2_a_wilde_1_1888__1_1_2 n2_a_wilde_1_1888__1_1_1->n2_a_wilde_1_1888__1_1_1_1 n2_a_wilde_1_1888__1_1_2_1 P-ROLE n2_a_wilde_1_1888__1_1_2->n2_a_wilde_1_1888__1_1_2_1 n2_a_wilde_1_1888__1_1_2_2 NP n2_a_wilde_1_1888__1_1_2->n2_a_wilde_1_1888__1_1_2_2 n2_a_wilde_1_1888__1_1_2_1->n2_a_wilde_1_1888__1_1_2_1_1 n2_a_wilde_1_1888__1_1_2_2_1 D n2_a_wilde_1_1888__1_1_2_2->n2_a_wilde_1_1888__1_1_2_2_1 n2_a_wilde_1_1888__1_1_2_2_2 N n2_a_wilde_1_1888__1_1_2_2->n2_a_wilde_1_1888__1_1_2_2_2 n2_a_wilde_1_1888__1_1_2_2_1->n2_a_wilde_1_1888__1_1_2_2_1_1 n2_a_wilde_1_1888__1_1_2_2_2->n2_a_wilde_1_1888__1_1_2_2_2_1 n2_a_wilde_1_1888__1_2->n2_a_wilde_1_1888__1_2_1 n2_a_wilde_1_1888__1_3_1 P-ROLE n2_a_wilde_1_1888__1_3->n2_a_wilde_1_1888__1_3_1 n2_a_wilde_1_1888__1_3_2 NP n2_a_wilde_1_1888__1_3->n2_a_wilde_1_1888__1_3_2 n2_a_wilde_1_1888__1_3_1->n2_a_wilde_1_1888__1_3_1_1 n2_a_wilde_1_1888__1_3_2_1 D n2_a_wilde_1_1888__1_3_2->n2_a_wilde_1_1888__1_3_2_1 n2_a_wilde_1_1888__1_3_2_2 ADJP n2_a_wilde_1_1888__1_3_2->n2_a_wilde_1_1888__1_3_2_2 n2_a_wilde_1_1888__1_3_2_3 N n2_a_wilde_1_1888__1_3_2->n2_a_wilde_1_1888__1_3_2_3 n2_a_wilde_1_1888__1_3_2_1->n2_a_wilde_1_1888__1_3_2_1_1 n2_a_wilde_1_1888__1_3_2_2_1 ADJ n2_a_wilde_1_1888__1_3_2_2->n2_a_wilde_1_1888__1_3_2_2_1 n2_a_wilde_1_1888__1_3_2_2_1->n2_a_wilde_1_1888__1_3_2_2_1_1 n2_a_wilde_1_1888__1_3_2_3->n2_a_wilde_1_1888__1_3_2_3_1 n2_a_wilde_1_1888__1_4->n2_a_wilde_1_1888__1_4_1 n2_a_wilde_1_1888__1_5->n2_a_wilde_1_1888__1_5_1 n2_a_wilde_1_1888__1_6_1 D n2_a_wilde_1_1888__1_6->n2_a_wilde_1_1888__1_6_1 n2_a_wilde_1_1888__1_6_2 N n2_a_wilde_1_1888__1_6->n2_a_wilde_1_1888__1_6_2 n2_a_wilde_1_1888__1_6_3 PP n2_a_wilde_1_1888__1_6->n2_a_wilde_1_1888__1_6_3 n2_a_wilde_1_1888__1_6_1->n2_a_wilde_1_1888__1_6_1_1 n2_a_wilde_1_1888__1_6_2->n2_a_wilde_1_1888__1_6_2_1 n2_a_wilde_1_1888__1_6_3_1 P-ROLE n2_a_wilde_1_1888__1_6_3->n2_a_wilde_1_1888__1_6_3_1 n2_a_wilde_1_1888__1_6_3_2 NP n2_a_wilde_1_1888__1_6_3->n2_a_wilde_1_1888__1_6_3_2 n2_a_wilde_1_1888__1_6_3_1->n2_a_wilde_1_1888__1_6_3_1_1 n2_a_wilde_1_1888__1_6_3_2_1 D n2_a_wilde_1_1888__1_6_3_2->n2_a_wilde_1_1888__1_6_3_2_1 n2_a_wilde_1_1888__1_6_3_2_2 ADJP n2_a_wilde_1_1888__1_6_3_2->n2_a_wilde_1_1888__1_6_3_2_2 n2_a_wilde_1_1888__1_6_3_2_3 N n2_a_wilde_1_1888__1_6_3_2->n2_a_wilde_1_1888__1_6_3_2_3 n2_a_wilde_1_1888__1_6_3_2_1->n2_a_wilde_1_1888__1_6_3_2_1_1 n2_a_wilde_1_1888__1_6_3_2_2_1 ADJ n2_a_wilde_1_1888__1_6_3_2_2->n2_a_wilde_1_1888__1_6_3_2_2_1 n2_a_wilde_1_1888__1_6_3_2_2_1->n2_a_wilde_1_1888__1_6_3_2_2_1_1 n2_a_wilde_1_1888__1_6_3_2_3->n2_a_wilde_1_1888__1_6_3_2_3_1 n2_a_wilde_1_1888__1_7->n2_a_wilde_1_1888__1_7_1 
( (IP-MAT (ADVP-TPC-NIM (ADV High;{high})
                        (PP (P-ROLE above;{above})
                            (NP (D the;{the})
                                (N city;{city}))))
          (PUNC ,)
          (PP-TPC-NIM (P-ROLE on;{on})
                      (NP (D a;{a})
                          (ADJP (ADJ tall;{tall}))
                          (N column;{column})))
          (PUNC ,)
          (VBD;_I_ stood;{stand})
          (NP-SBJ (D the;{the})
                  (N statue;{statue})
                  (PP (P-ROLE of;{of})
                      (NP;{PRINCE} (D the;{the})
                                   (ADJP (ADJ Happy;{happy}))
                                   (N Prince;{prince}))))
          (PUNC .))
  (ID 2_a_wilde_1_1888))