Context                Previous, Next                Top


8_a_wilde_1_1888
“The Happy Prince never dreams of crying for anything.”

%3 r_0008_0002__The_r_0008_0004__Prince The Prince r_0008_0003__Happy Happy r_0008_0002__The_r_0008_0004__Prince->r_0008_0003__Happy [attrib] r_0008_0006__dreams dreams r_0008_0006__dreams->r_0008_0002__The_r_0008_0004__Prince [arg0] r_0008_0005__never never r_0008_0006__dreams->r_0008_0005__never [nim] r_0008_0008__crying crying r_0008_0006__dreams->r_0008_0008__crying of [clr] r_0008_0010__anything anything r_0008_0008__crying->r_0008_0010__anything for [clr] z_000_8_a_wilde_1_1888_20 r_0008_0008__crying->z_000_8_a_wilde_1_1888_20 [arg0] 
arc(r_0008_0002__The_r_0008_0004__Prince, r_0008_0003__Happy, attrib7).
arc(r_0008_0006__dreams, r_0008_0002__The_r_0008_0004__Prince, arg0).
arc(r_0008_0006__dreams, r_0008_0005__never, nim12).
arc(r_0008_0006__dreams, r_0008_0008__crying, r_0008_0007__of_clr20).
arc(r_0008_0008__crying, r_0008_0010__anything, r_0008_0009__for_clr26).
arc(r_0008_0008__crying, z_000_8_a_wilde_1_1888_20, arg0).


%3 r_0008_0008__crying crying z_000_8_a_wilde_1_1888_20 r_0008_0008__crying->z_000_8_a_wilde_1_1888_20 [arg0] r_0008_0010__anything anything r_0008_0008__crying->r_0008_0010__anything for [clr] r_0008_0006__dreams dreams r_0008_0006__dreams->r_0008_0008__crying of [clr] r_0008_0005__never never r_0008_0006__dreams->r_0008_0005__never [nim] r_0008_0002__The_r_0008_0004__Prince The Prince r_0008_0006__dreams->r_0008_0002__The_r_0008_0004__Prince [arg0] r_0008_0003__Happy Happy r_0008_0002__The_r_0008_0004__Prince->r_0008_0003__Happy [attrib] 
fof(formula,axiom,
    ? [R_0008_0003__HAPPY,R_0008_0002__THE_R_0008_0004__PRINCE,R_0008_0005__NEVER,R_0008_0010__ANYTHING,Z_000_8_A_WILDE_1_1888_20,R_0008_0008__CRYING,R_0008_0006__DREAMS] :
      ( r_0008_0003__Happy(R_0008_0003__HAPPY)
      & r_0008_0005__never(R_0008_0005__NEVER)
      & r_0008_0010__anything(R_0008_0010__ANYTHING)
      & z_000_8_a_wilde_1_1888_20(Z_000_8_A_WILDE_1_1888_20)
      & r_0008_0006__dreams(R_0008_0006__DREAMS)
      & has_r_0008_0007__of_clr20(R_0008_0006__DREAMS,R_0008_0008__CRYING)
      & r_0008_0008__crying(R_0008_0008__CRYING)
      & has_arg0(R_0008_0008__CRYING,Z_000_8_A_WILDE_1_1888_20)
      & has_r_0008_0009__for_clr26(R_0008_0008__CRYING,R_0008_0010__ANYTHING)
      & has_nim12(R_0008_0006__DREAMS,R_0008_0005__NEVER)
      & has_arg0(R_0008_0006__DREAMS,R_0008_0002__THE_R_0008_0004__PRINCE)
      & r_0008_0002__The_r_0008_0004__Prince(R_0008_0002__THE_R_0008_0004__PRINCE)
      & has_attrib7(R_0008_0002__THE_R_0008_0004__PRINCE,R_0008_0003__HAPPY) ) ).


n8_a_wilde_1_1888 n8_a_wilde_1_1888__1_1_1 <ldquo> n8_a_wilde_1_1888__1_2_1_1 The n8_a_wilde_1_1888__1_2_2_1_1 Happy n8_a_wilde_1_1888__1_2_3_1 Prince n8_a_wilde_1_1888__1_3_1_1 never n8_a_wilde_1_1888__1_4_1 dreams n8_a_wilde_1_1888__1_5_1_1 of n8_a_wilde_1_1888__1_5_2_1_1 crying n8_a_wilde_1_1888__1_5_2_2_1_1 for n8_a_wilde_1_1888__1_5_2_2_2_1_1 anything n8_a_wilde_1_1888__1_6_1 . n8_a_wilde_1_1888__1_7_1 <rdquo> n8_a_wilde_1_1888__1 IP-MAT n8_a_wilde_1_1888__1_1 PULQ n8_a_wilde_1_1888__1->n8_a_wilde_1_1888__1_1 n8_a_wilde_1_1888__1_2 NP-SBJ n8_a_wilde_1_1888__1->n8_a_wilde_1_1888__1_2 n8_a_wilde_1_1888__1_3 ADVP-NIM n8_a_wilde_1_1888__1->n8_a_wilde_1_1888__1_3 n8_a_wilde_1_1888__1_4 VBP;_Ipr_ n8_a_wilde_1_1888__1->n8_a_wilde_1_1888__1_4 n8_a_wilde_1_1888__1_5 PP-CLR n8_a_wilde_1_1888__1->n8_a_wilde_1_1888__1_5 n8_a_wilde_1_1888__1_6 PUNC n8_a_wilde_1_1888__1->n8_a_wilde_1_1888__1_6 n8_a_wilde_1_1888__1_7 PURQ n8_a_wilde_1_1888__1->n8_a_wilde_1_1888__1_7 n8_a_wilde_1_1888__1_1->n8_a_wilde_1_1888__1_1_1 n8_a_wilde_1_1888__1_2_1 D n8_a_wilde_1_1888__1_2->n8_a_wilde_1_1888__1_2_1 n8_a_wilde_1_1888__1_2_2 ADJP n8_a_wilde_1_1888__1_2->n8_a_wilde_1_1888__1_2_2 n8_a_wilde_1_1888__1_2_3 N n8_a_wilde_1_1888__1_2->n8_a_wilde_1_1888__1_2_3 n8_a_wilde_1_1888__1_2_1->n8_a_wilde_1_1888__1_2_1_1 n8_a_wilde_1_1888__1_2_2_1 ADJ n8_a_wilde_1_1888__1_2_2->n8_a_wilde_1_1888__1_2_2_1 n8_a_wilde_1_1888__1_2_2_1->n8_a_wilde_1_1888__1_2_2_1_1 n8_a_wilde_1_1888__1_2_3->n8_a_wilde_1_1888__1_2_3_1 n8_a_wilde_1_1888__1_3_1 ADV n8_a_wilde_1_1888__1_3->n8_a_wilde_1_1888__1_3_1 n8_a_wilde_1_1888__1_3_1->n8_a_wilde_1_1888__1_3_1_1 n8_a_wilde_1_1888__1_4->n8_a_wilde_1_1888__1_4_1 n8_a_wilde_1_1888__1_5_1 P-ROLE n8_a_wilde_1_1888__1_5->n8_a_wilde_1_1888__1_5_1 n8_a_wilde_1_1888__1_5_2 IP-PPL n8_a_wilde_1_1888__1_5->n8_a_wilde_1_1888__1_5_2 n8_a_wilde_1_1888__1_5_1->n8_a_wilde_1_1888__1_5_1_1 n8_a_wilde_1_1888__1_5_2_1 VAG;_Ipr_ n8_a_wilde_1_1888__1_5_2->n8_a_wilde_1_1888__1_5_2_1 n8_a_wilde_1_1888__1_5_2_2 PP-CLR n8_a_wilde_1_1888__1_5_2->n8_a_wilde_1_1888__1_5_2_2 n8_a_wilde_1_1888__1_5_2_1->n8_a_wilde_1_1888__1_5_2_1_1 n8_a_wilde_1_1888__1_5_2_2_1 P-ROLE n8_a_wilde_1_1888__1_5_2_2->n8_a_wilde_1_1888__1_5_2_2_1 n8_a_wilde_1_1888__1_5_2_2_2 NP n8_a_wilde_1_1888__1_5_2_2->n8_a_wilde_1_1888__1_5_2_2_2 n8_a_wilde_1_1888__1_5_2_2_1->n8_a_wilde_1_1888__1_5_2_2_1_1 n8_a_wilde_1_1888__1_5_2_2_2_1 D;_nphd_ n8_a_wilde_1_1888__1_5_2_2_2->n8_a_wilde_1_1888__1_5_2_2_2_1 n8_a_wilde_1_1888__1_5_2_2_2_1->n8_a_wilde_1_1888__1_5_2_2_2_1_1 n8_a_wilde_1_1888__1_6->n8_a_wilde_1_1888__1_6_1 n8_a_wilde_1_1888__1_7->n8_a_wilde_1_1888__1_7_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{PRINCE} (D The;{the})
                           (ADJP (ADJ Happy;{happy}))
                           (N Prince;{prince}))
          (ADVP-NIM (ADV never;{never}))
          (VBP;_Ipr_ dreams;{dream[of]})
          (PP-CLR (P-ROLE of;{of})
                  (IP-PPL (VAG;_Ipr_ crying;{cry[for]})
                          (PP-CLR (P-ROLE for;{for})
                                  (NP (D;_nphd_ anything;{anything})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 8_a_wilde_1_1888))