Context                Previous, Next                Top


3_a_wilde_1_1888
He was gilded all over with thin leaves of fine gold, for eyes he had two bright sapphires, and a large red ruby glowed on his sword-hilt.

n3_a_wilde_1_1888 n3_a_wilde_1_1888__1_1_1_1_1_1 He n3_a_wilde_1_1888__1_1_1_2_1 was n3_a_wilde_1_1888__1_1_1_3_1_1 * n3_a_wilde_1_1888__1_1_1_3_2_1 gilded n3_a_wilde_1_1888__1_1_1_3_3_1_1_1 all n3_a_wilde_1_1888__1_1_1_3_3_2_1 over n3_a_wilde_1_1888__1_1_1_3_4_1_1 with n3_a_wilde_1_1888__1_1_1_3_4_2_1_1_1 thin n3_a_wilde_1_1888__1_1_1_3_4_2_2_1 leaves n3_a_wilde_1_1888__1_1_1_3_4_2_3_1_1 of n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_1_1_1 fine n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_2_1 gold n3_a_wilde_1_1888__1_1_2_1 , n3_a_wilde_1_1888__1_1_3_1_1_1_1 for n3_a_wilde_1_1888__1_1_3_1_1_2_1_1 eyes n3_a_wilde_1_1888__1_1_3_1_2_1_1 he n3_a_wilde_1_1888__1_1_3_1_3_1 had n3_a_wilde_1_1888__1_1_3_1_4_1_1 two n3_a_wilde_1_1888__1_1_3_1_4_2_1_1 bright n3_a_wilde_1_1888__1_1_3_1_4_3_1 sapphires n3_a_wilde_1_1888__1_1_4_1 , n3_a_wilde_1_1888__1_1_5_1_1 and n3_a_wilde_1_1888__1_1_5_2_1_1_1 a n3_a_wilde_1_1888__1_1_5_2_1_2_1_1 large n3_a_wilde_1_1888__1_1_5_2_1_3_1_1 red n3_a_wilde_1_1888__1_1_5_2_1_4_1 ruby n3_a_wilde_1_1888__1_1_5_2_2_1 glowed n3_a_wilde_1_1888__1_1_5_2_3_1_1 on n3_a_wilde_1_1888__1_1_5_2_3_2_1_1_1 his n3_a_wilde_1_1888__1_1_5_2_3_2_2_1 sword-hilt n3_a_wilde_1_1888__1_2_1 . n3_a_wilde_1_1888__1 IP-MAT n3_a_wilde_1_1888__1_1 ILYR n3_a_wilde_1_1888__1->n3_a_wilde_1_1888__1_1 n3_a_wilde_1_1888__1_2 PUNC n3_a_wilde_1_1888__1->n3_a_wilde_1_1888__1_2 n3_a_wilde_1_1888__1_1_1 ILYR n3_a_wilde_1_1888__1_1->n3_a_wilde_1_1888__1_1_1 n3_a_wilde_1_1888__1_1_2 PUNC n3_a_wilde_1_1888__1_1->n3_a_wilde_1_1888__1_1_2 n3_a_wilde_1_1888__1_1_3 CONJP n3_a_wilde_1_1888__1_1->n3_a_wilde_1_1888__1_1_3 n3_a_wilde_1_1888__1_1_4 PUNC n3_a_wilde_1_1888__1_1->n3_a_wilde_1_1888__1_1_4 n3_a_wilde_1_1888__1_1_5 CONJP n3_a_wilde_1_1888__1_1->n3_a_wilde_1_1888__1_1_5 n3_a_wilde_1_1888__1_1_1_1 NP-SBJ n3_a_wilde_1_1888__1_1_1->n3_a_wilde_1_1888__1_1_1_1 n3_a_wilde_1_1888__1_1_1_2 BED;_cat_VePASS_ n3_a_wilde_1_1888__1_1_1->n3_a_wilde_1_1888__1_1_1_2 n3_a_wilde_1_1888__1_1_1_3 IP-PPL-CAT n3_a_wilde_1_1888__1_1_1->n3_a_wilde_1_1888__1_1_1_3 n3_a_wilde_1_1888__1_1_1_1_1 PRO n3_a_wilde_1_1888__1_1_1_1->n3_a_wilde_1_1888__1_1_1_1_1 n3_a_wilde_1_1888__1_1_1_1_1->n3_a_wilde_1_1888__1_1_1_1_1_1 n3_a_wilde_1_1888__1_1_1_2->n3_a_wilde_1_1888__1_1_1_2_1 n3_a_wilde_1_1888__1_1_1_3_1 NP-LGS n3_a_wilde_1_1888__1_1_1_3->n3_a_wilde_1_1888__1_1_1_3_1 n3_a_wilde_1_1888__1_1_1_3_2 VVN;_Tn_ n3_a_wilde_1_1888__1_1_1_3->n3_a_wilde_1_1888__1_1_1_3_2 n3_a_wilde_1_1888__1_1_1_3_3 ADVP-NIM n3_a_wilde_1_1888__1_1_1_3->n3_a_wilde_1_1888__1_1_1_3_3 n3_a_wilde_1_1888__1_1_1_3_4 PP-NIM n3_a_wilde_1_1888__1_1_1_3->n3_a_wilde_1_1888__1_1_1_3_4 n3_a_wilde_1_1888__1_1_1_3_1->n3_a_wilde_1_1888__1_1_1_3_1_1 n3_a_wilde_1_1888__1_1_1_3_2->n3_a_wilde_1_1888__1_1_1_3_2_1 n3_a_wilde_1_1888__1_1_1_3_3_1 ADVP n3_a_wilde_1_1888__1_1_1_3_3->n3_a_wilde_1_1888__1_1_1_3_3_1 n3_a_wilde_1_1888__1_1_1_3_3_2 ADVR n3_a_wilde_1_1888__1_1_1_3_3->n3_a_wilde_1_1888__1_1_1_3_3_2 n3_a_wilde_1_1888__1_1_1_3_3_1_1 ADV n3_a_wilde_1_1888__1_1_1_3_3_1->n3_a_wilde_1_1888__1_1_1_3_3_1_1 n3_a_wilde_1_1888__1_1_1_3_3_1_1->n3_a_wilde_1_1888__1_1_1_3_3_1_1_1 n3_a_wilde_1_1888__1_1_1_3_3_2->n3_a_wilde_1_1888__1_1_1_3_3_2_1 n3_a_wilde_1_1888__1_1_1_3_4_1 P-ROLE n3_a_wilde_1_1888__1_1_1_3_4->n3_a_wilde_1_1888__1_1_1_3_4_1 n3_a_wilde_1_1888__1_1_1_3_4_2 NP n3_a_wilde_1_1888__1_1_1_3_4->n3_a_wilde_1_1888__1_1_1_3_4_2 n3_a_wilde_1_1888__1_1_1_3_4_1->n3_a_wilde_1_1888__1_1_1_3_4_1_1 n3_a_wilde_1_1888__1_1_1_3_4_2_1 ADJP n3_a_wilde_1_1888__1_1_1_3_4_2->n3_a_wilde_1_1888__1_1_1_3_4_2_1 n3_a_wilde_1_1888__1_1_1_3_4_2_2 NS n3_a_wilde_1_1888__1_1_1_3_4_2->n3_a_wilde_1_1888__1_1_1_3_4_2_2 n3_a_wilde_1_1888__1_1_1_3_4_2_3 PP n3_a_wilde_1_1888__1_1_1_3_4_2->n3_a_wilde_1_1888__1_1_1_3_4_2_3 n3_a_wilde_1_1888__1_1_1_3_4_2_1_1 ADJ n3_a_wilde_1_1888__1_1_1_3_4_2_1->n3_a_wilde_1_1888__1_1_1_3_4_2_1_1 n3_a_wilde_1_1888__1_1_1_3_4_2_1_1->n3_a_wilde_1_1888__1_1_1_3_4_2_1_1_1 n3_a_wilde_1_1888__1_1_1_3_4_2_2->n3_a_wilde_1_1888__1_1_1_3_4_2_2_1 n3_a_wilde_1_1888__1_1_1_3_4_2_3_1 P-ROLE n3_a_wilde_1_1888__1_1_1_3_4_2_3->n3_a_wilde_1_1888__1_1_1_3_4_2_3_1 n3_a_wilde_1_1888__1_1_1_3_4_2_3_2 NP n3_a_wilde_1_1888__1_1_1_3_4_2_3->n3_a_wilde_1_1888__1_1_1_3_4_2_3_2 n3_a_wilde_1_1888__1_1_1_3_4_2_3_1->n3_a_wilde_1_1888__1_1_1_3_4_2_3_1_1 n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_1 ADJP n3_a_wilde_1_1888__1_1_1_3_4_2_3_2->n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_1 n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_2 N n3_a_wilde_1_1888__1_1_1_3_4_2_3_2->n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_2 n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_1_1 ADJ n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_1->n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_1_1 n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_1_1->n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_1_1_1 n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_2->n3_a_wilde_1_1888__1_1_1_3_4_2_3_2_2_1 n3_a_wilde_1_1888__1_1_2->n3_a_wilde_1_1888__1_1_2_1 n3_a_wilde_1_1888__1_1_3_1 ILYR n3_a_wilde_1_1888__1_1_3->n3_a_wilde_1_1888__1_1_3_1 n3_a_wilde_1_1888__1_1_3_1_1 PP-NIM n3_a_wilde_1_1888__1_1_3_1->n3_a_wilde_1_1888__1_1_3_1_1 n3_a_wilde_1_1888__1_1_3_1_2 NP-SBJ n3_a_wilde_1_1888__1_1_3_1->n3_a_wilde_1_1888__1_1_3_1_2 n3_a_wilde_1_1888__1_1_3_1_3 HVD;_Tn_ n3_a_wilde_1_1888__1_1_3_1->n3_a_wilde_1_1888__1_1_3_1_3 n3_a_wilde_1_1888__1_1_3_1_4 NP-OB1 n3_a_wilde_1_1888__1_1_3_1->n3_a_wilde_1_1888__1_1_3_1_4 n3_a_wilde_1_1888__1_1_3_1_1_1 P-ROLE n3_a_wilde_1_1888__1_1_3_1_1->n3_a_wilde_1_1888__1_1_3_1_1_1 n3_a_wilde_1_1888__1_1_3_1_1_2 NP n3_a_wilde_1_1888__1_1_3_1_1->n3_a_wilde_1_1888__1_1_3_1_1_2 n3_a_wilde_1_1888__1_1_3_1_1_1->n3_a_wilde_1_1888__1_1_3_1_1_1_1 n3_a_wilde_1_1888__1_1_3_1_1_2_1 NS n3_a_wilde_1_1888__1_1_3_1_1_2->n3_a_wilde_1_1888__1_1_3_1_1_2_1 n3_a_wilde_1_1888__1_1_3_1_1_2_1->n3_a_wilde_1_1888__1_1_3_1_1_2_1_1 n3_a_wilde_1_1888__1_1_3_1_2_1 PRO n3_a_wilde_1_1888__1_1_3_1_2->n3_a_wilde_1_1888__1_1_3_1_2_1 n3_a_wilde_1_1888__1_1_3_1_2_1->n3_a_wilde_1_1888__1_1_3_1_2_1_1 n3_a_wilde_1_1888__1_1_3_1_3->n3_a_wilde_1_1888__1_1_3_1_3_1 n3_a_wilde_1_1888__1_1_3_1_4_1 NUM n3_a_wilde_1_1888__1_1_3_1_4->n3_a_wilde_1_1888__1_1_3_1_4_1 n3_a_wilde_1_1888__1_1_3_1_4_2 ADJP n3_a_wilde_1_1888__1_1_3_1_4->n3_a_wilde_1_1888__1_1_3_1_4_2 n3_a_wilde_1_1888__1_1_3_1_4_3 NS n3_a_wilde_1_1888__1_1_3_1_4->n3_a_wilde_1_1888__1_1_3_1_4_3 n3_a_wilde_1_1888__1_1_3_1_4_1->n3_a_wilde_1_1888__1_1_3_1_4_1_1 n3_a_wilde_1_1888__1_1_3_1_4_2_1 ADJ n3_a_wilde_1_1888__1_1_3_1_4_2->n3_a_wilde_1_1888__1_1_3_1_4_2_1 n3_a_wilde_1_1888__1_1_3_1_4_2_1->n3_a_wilde_1_1888__1_1_3_1_4_2_1_1 n3_a_wilde_1_1888__1_1_3_1_4_3->n3_a_wilde_1_1888__1_1_3_1_4_3_1 n3_a_wilde_1_1888__1_1_4->n3_a_wilde_1_1888__1_1_4_1 n3_a_wilde_1_1888__1_1_5_1 CONJ n3_a_wilde_1_1888__1_1_5->n3_a_wilde_1_1888__1_1_5_1 n3_a_wilde_1_1888__1_1_5_2 ILYR n3_a_wilde_1_1888__1_1_5->n3_a_wilde_1_1888__1_1_5_2 n3_a_wilde_1_1888__1_1_5_1->n3_a_wilde_1_1888__1_1_5_1_1 n3_a_wilde_1_1888__1_1_5_2_1 NP-SBJ n3_a_wilde_1_1888__1_1_5_2->n3_a_wilde_1_1888__1_1_5_2_1 n3_a_wilde_1_1888__1_1_5_2_2 VBD;_I_ n3_a_wilde_1_1888__1_1_5_2->n3_a_wilde_1_1888__1_1_5_2_2 n3_a_wilde_1_1888__1_1_5_2_3 PP-NIM n3_a_wilde_1_1888__1_1_5_2->n3_a_wilde_1_1888__1_1_5_2_3 n3_a_wilde_1_1888__1_1_5_2_1_1 D n3_a_wilde_1_1888__1_1_5_2_1->n3_a_wilde_1_1888__1_1_5_2_1_1 n3_a_wilde_1_1888__1_1_5_2_1_2 ADJP n3_a_wilde_1_1888__1_1_5_2_1->n3_a_wilde_1_1888__1_1_5_2_1_2 n3_a_wilde_1_1888__1_1_5_2_1_3 ADJP n3_a_wilde_1_1888__1_1_5_2_1->n3_a_wilde_1_1888__1_1_5_2_1_3 n3_a_wilde_1_1888__1_1_5_2_1_4 N n3_a_wilde_1_1888__1_1_5_2_1->n3_a_wilde_1_1888__1_1_5_2_1_4 n3_a_wilde_1_1888__1_1_5_2_1_1->n3_a_wilde_1_1888__1_1_5_2_1_1_1 n3_a_wilde_1_1888__1_1_5_2_1_2_1 ADJ n3_a_wilde_1_1888__1_1_5_2_1_2->n3_a_wilde_1_1888__1_1_5_2_1_2_1 n3_a_wilde_1_1888__1_1_5_2_1_2_1->n3_a_wilde_1_1888__1_1_5_2_1_2_1_1 n3_a_wilde_1_1888__1_1_5_2_1_3_1 ADJ n3_a_wilde_1_1888__1_1_5_2_1_3->n3_a_wilde_1_1888__1_1_5_2_1_3_1 n3_a_wilde_1_1888__1_1_5_2_1_3_1->n3_a_wilde_1_1888__1_1_5_2_1_3_1_1 n3_a_wilde_1_1888__1_1_5_2_1_4->n3_a_wilde_1_1888__1_1_5_2_1_4_1 n3_a_wilde_1_1888__1_1_5_2_2->n3_a_wilde_1_1888__1_1_5_2_2_1 n3_a_wilde_1_1888__1_1_5_2_3_1 P-ROLE n3_a_wilde_1_1888__1_1_5_2_3->n3_a_wilde_1_1888__1_1_5_2_3_1 n3_a_wilde_1_1888__1_1_5_2_3_2 NP n3_a_wilde_1_1888__1_1_5_2_3->n3_a_wilde_1_1888__1_1_5_2_3_2 n3_a_wilde_1_1888__1_1_5_2_3_1->n3_a_wilde_1_1888__1_1_5_2_3_1_1 n3_a_wilde_1_1888__1_1_5_2_3_2_1 NP-GEN n3_a_wilde_1_1888__1_1_5_2_3_2->n3_a_wilde_1_1888__1_1_5_2_3_2_1 n3_a_wilde_1_1888__1_1_5_2_3_2_2 N n3_a_wilde_1_1888__1_1_5_2_3_2->n3_a_wilde_1_1888__1_1_5_2_3_2_2 n3_a_wilde_1_1888__1_1_5_2_3_2_1_1 PRO;_genm_ n3_a_wilde_1_1888__1_1_5_2_3_2_1->n3_a_wilde_1_1888__1_1_5_2_3_2_1_1 n3_a_wilde_1_1888__1_1_5_2_3_2_1_1->n3_a_wilde_1_1888__1_1_5_2_3_2_1_1_1 n3_a_wilde_1_1888__1_1_5_2_3_2_2->n3_a_wilde_1_1888__1_1_5_2_3_2_2_1 n3_a_wilde_1_1888__1_2->n3_a_wilde_1_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{PRINCE} (PRO He;{he}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ gilded;{gild})
                                  (ADVP-NIM (ADVP (ADV all;{all}))
                                            (ADVR over;{over}))
                                  (PP-NIM (P-ROLE with;{with})
                                          (NP (ADJP (ADJ thin;{thin}))
                                              (NS leaves;{leaf})
                                              (PP (P-ROLE of;{of})
                                                  (NP (ADJP (ADJ fine;{fine}))
                                                      (N gold;{gold})))))))
                (PUNC ,)
                (CONJP (ILYR (PP-NIM (P-ROLE for;{for})
                                     (NP (NS eyes;{eye})))
                             (NP-SBJ;{PRINCE} (PRO he;{he}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (NUM two;{two})
                                     (ADJP (ADJ bright;{bright}))
                                     (NS sapphires;{sapphire}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D a;{a})
                                     (ADJP (ADJ large;{large}))
                                     (ADJP (ADJ red;{red}))
                                     (N ruby;{ruby}))
                             (VBD;_I_ glowed;{glow})
                             (PP-NIM (P-ROLE on;{on})
                                     (NP (NP-GEN;{PRINCE} (PRO;_genm_ his;{his}))
                                         (N sword_<hyphen>_hilt;{sword_hilt}))))))
          (PUNC .))
  (ID 3_a_wilde_1_1888))


%3 r_0003_0029__sword__hyphen__hilt sword-hilt r_0003_0001__He He r_0003_0029__sword__hyphen__hilt->r_0003_0001__He [gen] r_0003_0026__glowed glowed r_0003_0026__glowed->r_0003_0029__sword__hyphen__hilt on [nim] r_0003_0022__a_r_0003_0025__ruby a ruby r_0003_0026__glowed->r_0003_0022__a_r_0003_0025__ruby [arg0] r_0003_0024__red red r_0003_0022__a_r_0003_0025__ruby->r_0003_0024__red [attrib] r_0003_0023__large large r_0003_0022__a_r_0003_0025__ruby->r_0003_0023__large [attrib] r_0003_0021__and and r_0003_0021__and->r_0003_0026__glowed [conj3] r_0003_0016__had had r_0003_0021__and->r_0003_0016__had [conj2] r_0003_0002__was was r_0003_0021__and->r_0003_0002__was [conj1] r_0003_0016__had->r_0003_0001__He [arg0] r_0003_0017__two_r_0003_0019__sapphires two sapphires r_0003_0016__had->r_0003_0017__two_r_0003_0019__sapphires [arg1] r_0003_0014__eyes eyes r_0003_0016__had->r_0003_0014__eyes for [nim] r_0003_0003__gilded gilded r_0003_0002__was->r_0003_0003__gilded [scope] r_0003_0018__bright bright r_0003_0017__two_r_0003_0019__sapphires->r_0003_0018__bright [attrib] r_0003_0011__gold gold r_0003_0010__fine fine r_0003_0011__gold->r_0003_0010__fine [attrib] r_0003_0008__leaves leaves r_0003_0008__leaves->r_0003_0011__gold of r_0003_0007__thin thin r_0003_0008__leaves->r_0003_0007__thin [attrib] r_0003_0005__over over r_0003_0004__all all r_0003_0005__over->r_0003_0004__all [qual] r_0003_0003__gilded->r_0003_0001__He [arg1] r_0003_0003__gilded->r_0003_0008__leaves with [nim] r_0003_0003__gilded->r_0003_0005__over [nim] z_0003_5008___star_ * r_0003_0003__gilded->z_0003_5008___star_ [arg0] 
arc(r_0003_0002__was,r_0003_0003__gilded,scope).
arc(r_0003_0003__gilded,r_0003_0001__He,arg1).
arc(r_0003_0003__gilded,r_0003_0005__over,nim).
arc(r_0003_0003__gilded,r_0003_0008__leaves,r_0003_0006__with__nim).
arc(r_0003_0003__gilded,z_0003_5008___star_,arg0).
arc(r_0003_0005__over,r_0003_0004__all,qual).
arc(r_0003_0008__leaves,r_0003_0007__thin,attrib).
arc(r_0003_0008__leaves,r_0003_0011__gold,r_0003_0009__of).
arc(r_0003_0011__gold,r_0003_0010__fine,attrib).
arc(r_0003_0016__had,r_0003_0001__He,arg0).
arc(r_0003_0016__had,r_0003_0014__eyes,r_0003_0013__for__nim).
arc(r_0003_0016__had,r_0003_0017__two_r_0003_0019__sapphires,arg1).
arc(r_0003_0017__two_r_0003_0019__sapphires,r_0003_0018__bright,attrib).
arc(r_0003_0021__and,r_0003_0002__was,conj1).
arc(r_0003_0021__and,r_0003_0016__had,conj2).
arc(r_0003_0021__and,r_0003_0026__glowed,conj3).
arc(r_0003_0022__a_r_0003_0025__ruby,r_0003_0023__large,attrib).
arc(r_0003_0022__a_r_0003_0025__ruby,r_0003_0024__red,attrib).
arc(r_0003_0026__glowed,r_0003_0022__a_r_0003_0025__ruby,arg0).
arc(r_0003_0026__glowed,r_0003_0029__sword__hyphen__hilt,r_0003_0027__on__nim).
arc(r_0003_0029__sword__hyphen__hilt,r_0003_0001__He,gen).


%3 r_0003_0002__was_r_0003_0003__gilded was gilded r_0003_0001__He He r_0003_0002__was_r_0003_0003__gilded->r_0003_0001__He [arg1] r_0003_0005__over over r_0003_0002__was_r_0003_0003__gilded->r_0003_0005__over [nim] r_0003_0008__leaves leaves r_0003_0002__was_r_0003_0003__gilded->r_0003_0008__leaves with [nim] z_0003_5008___star_ * r_0003_0002__was_r_0003_0003__gilded->z_0003_5008___star_ [arg0] r_0003_0004__all all r_0003_0005__over->r_0003_0004__all [qual] r_0003_0007__thin thin r_0003_0008__leaves->r_0003_0007__thin [attrib] r_0003_0011__gold gold r_0003_0008__leaves->r_0003_0011__gold of r_0003_0010__fine fine r_0003_0011__gold->r_0003_0010__fine [attrib] r_0003_0016__had had r_0003_0016__had->r_0003_0001__He [arg0] r_0003_0014__eyes eyes r_0003_0016__had->r_0003_0014__eyes for [nim] r_0003_0017__two_r_0003_0019__sapphires two sapphires r_0003_0016__had->r_0003_0017__two_r_0003_0019__sapphires [arg1] r_0003_0018__bright bright r_0003_0017__two_r_0003_0019__sapphires->r_0003_0018__bright [attrib] r_0003_0021__and and r_0003_0021__and->r_0003_0002__was_r_0003_0003__gilded [conj1] r_0003_0021__and->r_0003_0016__had [conj2] r_0003_0026__glowed glowed r_0003_0021__and->r_0003_0026__glowed [conj3] r_0003_0022__a_r_0003_0025__ruby a ruby r_0003_0026__glowed->r_0003_0022__a_r_0003_0025__ruby [arg0] r_0003_0029__sword__hyphen__hilt sword-hilt r_0003_0026__glowed->r_0003_0029__sword__hyphen__hilt on [nim] r_0003_0023__large large r_0003_0022__a_r_0003_0025__ruby->r_0003_0023__large [attrib] r_0003_0024__red red r_0003_0022__a_r_0003_0025__ruby->r_0003_0024__red [attrib] r_0003_0029__sword__hyphen__hilt->r_0003_0001__He [gen] 
fof(formula,axiom,
    ? [R_0003_0001__HE,R_0003_0004__ALL,R_0003_0005__OVER,R_0003_0007__THIN,R_0003_0010__FINE,R_0003_0011__GOLD,R_0003_0008__LEAVES,Z_0003_5008___STAR_,R_0003_0002__WAS_R_0003_0003__GILDED,R_0003_0014__EYES,R_0003_0018__BRIGHT,R_0003_0017__TWO_R_0003_0019__SAPPHIRES,R_0003_0016__HAD,R_0003_0023__LARGE,R_0003_0024__RED,R_0003_0022__A_R_0003_0025__RUBY,R_0003_0029__SWORD__HYPHEN__HILT,R_0003_0026__GLOWED,R_0003_0021__AND] :
      ( r_0003_0001__He(R_0003_0001__HE)
      & r_0003_0004__all(R_0003_0004__ALL)
      & r_0003_0007__thin(R_0003_0007__THIN)
      & r_0003_0010__fine(R_0003_0010__FINE)
      & r_0003_0014__eyes(R_0003_0014__EYES)
      & r_0003_0018__bright(R_0003_0018__BRIGHT)
      & r_0003_0023__large(R_0003_0023__LARGE)
      & r_0003_0024__red(R_0003_0024__RED)
      & z_0003_5008___star_(Z_0003_5008___STAR_)
      & r_0003_0021__and(R_0003_0021__AND)
      & has_conj3(R_0003_0021__AND,R_0003_0026__GLOWED)
      & r_0003_0026__glowed(R_0003_0026__GLOWED)
      & has_r_0003_0027__on__nim(R_0003_0026__GLOWED,R_0003_0029__SWORD__HYPHEN__HILT)
      & r_0003_0029__sword__hyphen__hilt(R_0003_0029__SWORD__HYPHEN__HILT)
      & has_gen(R_0003_0029__SWORD__HYPHEN__HILT,R_0003_0001__HE)
      & has_arg0(R_0003_0026__GLOWED,R_0003_0022__A_R_0003_0025__RUBY)
      & r_0003_0022__a_r_0003_0025__ruby(R_0003_0022__A_R_0003_0025__RUBY)
      & has_attrib(R_0003_0022__A_R_0003_0025__RUBY,R_0003_0024__RED)
      & has_attrib(R_0003_0022__A_R_0003_0025__RUBY,R_0003_0023__LARGE)
      & has_conj2(R_0003_0021__AND,R_0003_0016__HAD)
      & r_0003_0016__had(R_0003_0016__HAD)
      & has_arg1(R_0003_0016__HAD,R_0003_0017__TWO_R_0003_0019__SAPPHIRES)
      & r_0003_0017__two_r_0003_0019__sapphires(R_0003_0017__TWO_R_0003_0019__SAPPHIRES)
      & has_attrib(R_0003_0017__TWO_R_0003_0019__SAPPHIRES,R_0003_0018__BRIGHT)
      & has_r_0003_0013__for__nim(R_0003_0016__HAD,R_0003_0014__EYES)
      & has_arg0(R_0003_0016__HAD,R_0003_0001__HE)
      & has_conj1(R_0003_0021__AND,R_0003_0002__WAS_R_0003_0003__GILDED)
      & r_0003_0002__was_r_0003_0003__gilded(R_0003_0002__WAS_R_0003_0003__GILDED)
      & has_arg0(R_0003_0002__WAS_R_0003_0003__GILDED,Z_0003_5008___STAR_)
      & has_r_0003_0006__with__nim(R_0003_0002__WAS_R_0003_0003__GILDED,R_0003_0008__LEAVES)
      & r_0003_0008__leaves(R_0003_0008__LEAVES)
      & has_r_0003_0009__of(R_0003_0008__LEAVES,R_0003_0011__GOLD)
      & r_0003_0011__gold(R_0003_0011__GOLD)
      & has_attrib(R_0003_0011__GOLD,R_0003_0010__FINE)
      & has_attrib(R_0003_0008__LEAVES,R_0003_0007__THIN)
      & has_nim(R_0003_0002__WAS_R_0003_0003__GILDED,R_0003_0005__OVER)
      & r_0003_0005__over(R_0003_0005__OVER)
      & has_qual(R_0003_0005__OVER,R_0003_0004__ALL)
      & has_arg1(R_0003_0002__WAS_R_0003_0003__GILDED,R_0003_0001__HE) ) ).