Context                Previous, Next                Top


236_a_wilde_1_1888
So they pulled down the statue of the Happy Prince.

%3 r_0236_0003__pulled_r_0236_0004__down pulled down r_0236_0001__So So r_0236_0003__pulled_r_0236_0004__down->r_0236_0001__So [nim] r_0236_0002__they they r_0236_0003__pulled_r_0236_0004__down->r_0236_0002__they [arg0] r_0236_0005__the_r_0236_0006__statue the statue r_0236_0003__pulled_r_0236_0004__down->r_0236_0005__the_r_0236_0006__statue [arg1] r_0236_0008__the_r_0236_0010__Prince the Prince r_0236_0005__the_r_0236_0006__statue->r_0236_0008__the_r_0236_0010__Prince of r_0236_0009__Happy Happy r_0236_0008__the_r_0236_0010__Prince->r_0236_0009__Happy [attrib] 
arc(r_0236_0003__pulled_r_0236_0004__down, r_0236_0001__So, nim2).
arc(r_0236_0003__pulled_r_0236_0004__down, r_0236_0002__they, arg0).
arc(r_0236_0003__pulled_r_0236_0004__down, r_0236_0005__the_r_0236_0006__statue, arg1).
arc(r_0236_0005__the_r_0236_0006__statue, r_0236_0008__the_r_0236_0010__Prince, r_0236_0007__of).
arc(r_0236_0008__the_r_0236_0010__Prince, r_0236_0009__Happy, attrib23).


%3 r_0236_0008__the_r_0236_0010__Prince the Prince r_0236_0009__Happy Happy r_0236_0008__the_r_0236_0010__Prince->r_0236_0009__Happy [attrib] r_0236_0005__the_r_0236_0006__statue the statue r_0236_0005__the_r_0236_0006__statue->r_0236_0008__the_r_0236_0010__Prince of r_0236_0003__pulled_r_0236_0004__down pulled down r_0236_0003__pulled_r_0236_0004__down->r_0236_0005__the_r_0236_0006__statue [arg1] r_0236_0002__they they r_0236_0003__pulled_r_0236_0004__down->r_0236_0002__they [arg0] r_0236_0001__So So r_0236_0003__pulled_r_0236_0004__down->r_0236_0001__So [nim] 
fof(formula,axiom,
    ? [R_236_3_PULLED_DOWN,R_236_2_THEY,R_236_5_THE_STATUE,R_236_8_THE_PRINCE,R_236_9_HAPPY,R_236_1_SO] :
      ( they(R_236_2_THEY)
      & happy(R_236_9_HAPPY)
      & so(R_236_1_SO)
      & pulled_down(R_236_3_PULLED_DOWN,R_236_2_THEY,R_236_5_THE_STATUE)
      & the_statue(R_236_5_THE_STATUE)
      & of(R_236_5_THE_STATUE,R_236_8_THE_PRINCE)
      & the_Prince(R_236_8_THE_PRINCE)
      & attrib23(R_236_8_THE_PRINCE,R_236_9_HAPPY)
      & nim2(R_236_3_PULLED_DOWN,R_236_1_SO) ) ).


n236_a_wilde_1_1888 n236_a_wilde_1_1888__1_1_1_1 So n236_a_wilde_1_1888__1_2_1_1 they n236_a_wilde_1_1888__1_3_1 pulled n236_a_wilde_1_1888__1_4_1 down n236_a_wilde_1_1888__1_5_1_1 the n236_a_wilde_1_1888__1_5_2_1 statue n236_a_wilde_1_1888__1_5_3_1_1 of n236_a_wilde_1_1888__1_5_3_2_1_1 the n236_a_wilde_1_1888__1_5_3_2_2_1_1 Happy n236_a_wilde_1_1888__1_5_3_2_3_1 Prince n236_a_wilde_1_1888__1_6_1 . n236_a_wilde_1_1888__1 IP-MAT n236_a_wilde_1_1888__1_1 ADVP-NIM n236_a_wilde_1_1888__1->n236_a_wilde_1_1888__1_1 n236_a_wilde_1_1888__1_2 NP-SBJ n236_a_wilde_1_1888__1->n236_a_wilde_1_1888__1_2 n236_a_wilde_1_1888__1_3 VBD;__ n236_a_wilde_1_1888__1->n236_a_wilde_1_1888__1_3 n236_a_wilde_1_1888__1_4 RP n236_a_wilde_1_1888__1->n236_a_wilde_1_1888__1_4 n236_a_wilde_1_1888__1_5 NP-OB1 n236_a_wilde_1_1888__1->n236_a_wilde_1_1888__1_5 n236_a_wilde_1_1888__1_6 PUNC n236_a_wilde_1_1888__1->n236_a_wilde_1_1888__1_6 n236_a_wilde_1_1888__1_1_1 ADV n236_a_wilde_1_1888__1_1->n236_a_wilde_1_1888__1_1_1 n236_a_wilde_1_1888__1_1_1->n236_a_wilde_1_1888__1_1_1_1 n236_a_wilde_1_1888__1_2_1 PRO n236_a_wilde_1_1888__1_2->n236_a_wilde_1_1888__1_2_1 n236_a_wilde_1_1888__1_2_1->n236_a_wilde_1_1888__1_2_1_1 n236_a_wilde_1_1888__1_3->n236_a_wilde_1_1888__1_3_1 n236_a_wilde_1_1888__1_4->n236_a_wilde_1_1888__1_4_1 n236_a_wilde_1_1888__1_5_1 D n236_a_wilde_1_1888__1_5->n236_a_wilde_1_1888__1_5_1 n236_a_wilde_1_1888__1_5_2 N n236_a_wilde_1_1888__1_5->n236_a_wilde_1_1888__1_5_2 n236_a_wilde_1_1888__1_5_3 PP n236_a_wilde_1_1888__1_5->n236_a_wilde_1_1888__1_5_3 n236_a_wilde_1_1888__1_5_1->n236_a_wilde_1_1888__1_5_1_1 n236_a_wilde_1_1888__1_5_2->n236_a_wilde_1_1888__1_5_2_1 n236_a_wilde_1_1888__1_5_3_1 P-ROLE n236_a_wilde_1_1888__1_5_3->n236_a_wilde_1_1888__1_5_3_1 n236_a_wilde_1_1888__1_5_3_2 NP n236_a_wilde_1_1888__1_5_3->n236_a_wilde_1_1888__1_5_3_2 n236_a_wilde_1_1888__1_5_3_1->n236_a_wilde_1_1888__1_5_3_1_1 n236_a_wilde_1_1888__1_5_3_2_1 D n236_a_wilde_1_1888__1_5_3_2->n236_a_wilde_1_1888__1_5_3_2_1 n236_a_wilde_1_1888__1_5_3_2_2 ADJP n236_a_wilde_1_1888__1_5_3_2->n236_a_wilde_1_1888__1_5_3_2_2 n236_a_wilde_1_1888__1_5_3_2_3 N n236_a_wilde_1_1888__1_5_3_2->n236_a_wilde_1_1888__1_5_3_2_3 n236_a_wilde_1_1888__1_5_3_2_1->n236_a_wilde_1_1888__1_5_3_2_1_1 n236_a_wilde_1_1888__1_5_3_2_2_1 ADJ n236_a_wilde_1_1888__1_5_3_2_2->n236_a_wilde_1_1888__1_5_3_2_2_1 n236_a_wilde_1_1888__1_5_3_2_2_1->n236_a_wilde_1_1888__1_5_3_2_2_1_1 n236_a_wilde_1_1888__1_5_3_2_3->n236_a_wilde_1_1888__1_5_3_2_3_1 n236_a_wilde_1_1888__1_6->n236_a_wilde_1_1888__1_6_1 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{MAYOR_COUNCILLORS} (PRO they;{they}))
          (VBD;__ pulled;{pull})
          (RP down;{down})
          (NP-OB1 (D the;{the})
                  (N statue;{statue})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (ADJP (ADJ Happy;{happy}))
                          (N Prince;{prince}))))
          (PUNC .))
  (ID 236_a_wilde_1_1888))