Context                Previous, Next                Top


171_a_wilde_1_1888
The ruby shall be redder than a red rose, and the sapphire shall be as blue as the great sea.”

%3 r_0171_0003__shall shall r_0171_0004__be be r_0171_0003__shall->r_0171_0004__be [scope] r_0171_0001__The_r_0171_0002__ruby The ruby r_0171_0004__be->r_0171_0001__The_r_0171_0002__ruby [arg0] r_0171_0005__redder redder r_0171_0004__be->r_0171_0005__redder [prd] r_0171_0007__a_r_0171_0009__rose a rose r_0171_0005__redder->r_0171_0007__a_r_0171_0009__rose than r_0171_0008__red red r_0171_0007__a_r_0171_0009__rose->r_0171_0008__red [attrib] r_0171_0011__and and r_0171_0011__and->r_0171_0003__shall [conj1] r_0171_0014__shall shall r_0171_0011__and->r_0171_0014__shall [conj2] r_0171_0015__be be r_0171_0014__shall->r_0171_0015__be [scope] r_0171_0012__the_r_0171_0013__sapphire the sapphire r_0171_0015__be->r_0171_0012__the_r_0171_0013__sapphire [arg0] r_0171_0017__blue blue r_0171_0015__be->r_0171_0017__blue [prd] r_0171_0016__as as r_0171_0017__blue->r_0171_0016__as [qual] r_0171_0019__the_r_0171_0021__sea the sea r_0171_0017__blue->r_0171_0019__the_r_0171_0021__sea as r_0171_0020__great great r_0171_0019__the_r_0171_0021__sea->r_0171_0020__great [attrib] 
arc(r_0171_0003__shall, r_0171_0004__be, scope).
arc(r_0171_0004__be, r_0171_0001__The_r_0171_0002__ruby, arg0).
arc(r_0171_0004__be, r_0171_0005__redder, prd).
arc(r_0171_0005__redder, r_0171_0007__a_r_0171_0009__rose, r_0171_0006__than).
arc(r_0171_0007__a_r_0171_0009__rose, r_0171_0008__red, attrib23).
arc(r_0171_0011__and, r_0171_0003__shall, conj1).
arc(r_0171_0011__and, r_0171_0014__shall, conj2).
arc(r_0171_0014__shall, r_0171_0015__be, scope).
arc(r_0171_0015__be, r_0171_0012__the_r_0171_0013__sapphire, arg0).
arc(r_0171_0015__be, r_0171_0017__blue, prd).
arc(r_0171_0017__blue, r_0171_0016__as, qual45).
arc(r_0171_0017__blue, r_0171_0019__the_r_0171_0021__sea, r_0171_0018__as).
arc(r_0171_0019__the_r_0171_0021__sea, r_0171_0020__great, attrib56).


%3 r_0171_0003__shall_r_0171_0004__be shall be r_0171_0001__The_r_0171_0002__ruby The ruby r_0171_0003__shall_r_0171_0004__be->r_0171_0001__The_r_0171_0002__ruby [arg0] r_0171_0005__redder redder r_0171_0003__shall_r_0171_0004__be->r_0171_0005__redder [prd] r_0171_0007__a_r_0171_0009__rose a rose r_0171_0005__redder->r_0171_0007__a_r_0171_0009__rose than r_0171_0008__red red r_0171_0007__a_r_0171_0009__rose->r_0171_0008__red [attrib] r_0171_0011__and and r_0171_0011__and->r_0171_0003__shall_r_0171_0004__be [conj1] r_0171_0014__shall_r_0171_0015__be shall be r_0171_0011__and->r_0171_0014__shall_r_0171_0015__be [conj2] r_0171_0012__the_r_0171_0013__sapphire the sapphire r_0171_0014__shall_r_0171_0015__be->r_0171_0012__the_r_0171_0013__sapphire [arg0] r_0171_0017__blue blue r_0171_0014__shall_r_0171_0015__be->r_0171_0017__blue [prd] r_0171_0016__as as r_0171_0017__blue->r_0171_0016__as [qual] r_0171_0019__the_r_0171_0021__sea the sea r_0171_0017__blue->r_0171_0019__the_r_0171_0021__sea as r_0171_0020__great great r_0171_0019__the_r_0171_0021__sea->r_0171_0020__great [attrib] 
fof(formula,axiom,
    ? [R_171_11_AND,R_171_3_SHALL_BE,R_171_1_THE_RUBY,R_171_5_REDDER,R_171_7_A_ROSE,R_171_8_RED,R_171_14_SHALL_BE,R_171_12_THE_SAPPHIRE,R_171_17_BLUE,R_171_16_AS,R_171_19_THE_SEA,R_171_20_GREAT] :
      ( the_ruby(R_171_1_THE_RUBY)
      & red(R_171_8_RED)
      & the_sapphire(R_171_12_THE_SAPPHIRE)
      & as(R_171_16_AS)
      & great(R_171_20_GREAT)
      & and(R_171_11_AND)
      & conj1(R_171_11_AND,R_171_3_SHALL_BE)
      & shall_be(R_171_3_SHALL_BE,R_171_1_THE_RUBY,R_171_5_REDDER)
      & redder(R_171_5_REDDER)
      & than(R_171_5_REDDER,R_171_7_A_ROSE)
      & a_rose(R_171_7_A_ROSE)
      & attrib23(R_171_7_A_ROSE,R_171_8_RED)
      & conj2(R_171_11_AND,R_171_14_SHALL_BE)
      & shall_be(R_171_14_SHALL_BE,R_171_12_THE_SAPPHIRE,R_171_17_BLUE)
      & blue(R_171_17_BLUE)
      & qual45(R_171_17_BLUE,R_171_16_AS)
      & as(R_171_17_BLUE,R_171_19_THE_SEA)
      & the_sea(R_171_19_THE_SEA)
      & attrib56(R_171_19_THE_SEA,R_171_20_GREAT) ) ).


n171_a_wilde_1_1888 n171_a_wilde_1_1888_6 The n171_a_wilde_1_1888_8 ruby n171_a_wilde_1_1888_10 shall n171_a_wilde_1_1888_13 be n171_a_wilde_1_1888_16 redder n171_a_wilde_1_1888_19 than n171_a_wilde_1_1888_22 a n171_a_wilde_1_1888_25 red n171_a_wilde_1_1888_27 rose n171_a_wilde_1_1888_29 , n171_a_wilde_1_1888_32 and n171_a_wilde_1_1888_36 the n171_a_wilde_1_1888_38 sapphire n171_a_wilde_1_1888_40 shall n171_a_wilde_1_1888_43 be n171_a_wilde_1_1888_47 as n171_a_wilde_1_1888_49 blue n171_a_wilde_1_1888_52 as n171_a_wilde_1_1888_55 the n171_a_wilde_1_1888_58 great n171_a_wilde_1_1888_60 sea n171_a_wilde_1_1888_62 . n171_a_wilde_1_1888_64 <rdquo> n171_a_wilde_1_1888_1 IP-MAT n171_a_wilde_1_1888_2 ILYR n171_a_wilde_1_1888_1->n171_a_wilde_1_1888_2 n171_a_wilde_1_1888_61 PUNC n171_a_wilde_1_1888_1->n171_a_wilde_1_1888_61 n171_a_wilde_1_1888_63 PURQ n171_a_wilde_1_1888_1->n171_a_wilde_1_1888_63 n171_a_wilde_1_1888_3 ILYR n171_a_wilde_1_1888_2->n171_a_wilde_1_1888_3 n171_a_wilde_1_1888_28 PUNC n171_a_wilde_1_1888_2->n171_a_wilde_1_1888_28 n171_a_wilde_1_1888_30 CONJP n171_a_wilde_1_1888_2->n171_a_wilde_1_1888_30 n171_a_wilde_1_1888_4 NP-SBJ n171_a_wilde_1_1888_3->n171_a_wilde_1_1888_4 n171_a_wilde_1_1888_9 MD;_cat_Vi_ n171_a_wilde_1_1888_3->n171_a_wilde_1_1888_9 n171_a_wilde_1_1888_11 IP-INF-CAT n171_a_wilde_1_1888_3->n171_a_wilde_1_1888_11 n171_a_wilde_1_1888_5 D n171_a_wilde_1_1888_4->n171_a_wilde_1_1888_5 n171_a_wilde_1_1888_7 N n171_a_wilde_1_1888_4->n171_a_wilde_1_1888_7 n171_a_wilde_1_1888_5->n171_a_wilde_1_1888_6 n171_a_wilde_1_1888_7->n171_a_wilde_1_1888_8 n171_a_wilde_1_1888_9->n171_a_wilde_1_1888_10 n171_a_wilde_1_1888_12 BE;_La_ n171_a_wilde_1_1888_11->n171_a_wilde_1_1888_12 n171_a_wilde_1_1888_14 ADJP-PRD n171_a_wilde_1_1888_11->n171_a_wilde_1_1888_14 n171_a_wilde_1_1888_12->n171_a_wilde_1_1888_13 n171_a_wilde_1_1888_15 ADJR n171_a_wilde_1_1888_14->n171_a_wilde_1_1888_15 n171_a_wilde_1_1888_17 PP n171_a_wilde_1_1888_14->n171_a_wilde_1_1888_17 n171_a_wilde_1_1888_15->n171_a_wilde_1_1888_16 n171_a_wilde_1_1888_18 P-ROLE n171_a_wilde_1_1888_17->n171_a_wilde_1_1888_18 n171_a_wilde_1_1888_20 NP n171_a_wilde_1_1888_17->n171_a_wilde_1_1888_20 n171_a_wilde_1_1888_18->n171_a_wilde_1_1888_19 n171_a_wilde_1_1888_21 D n171_a_wilde_1_1888_20->n171_a_wilde_1_1888_21 n171_a_wilde_1_1888_23 ADJP n171_a_wilde_1_1888_20->n171_a_wilde_1_1888_23 n171_a_wilde_1_1888_26 N n171_a_wilde_1_1888_20->n171_a_wilde_1_1888_26 n171_a_wilde_1_1888_21->n171_a_wilde_1_1888_22 n171_a_wilde_1_1888_24 ADJ n171_a_wilde_1_1888_23->n171_a_wilde_1_1888_24 n171_a_wilde_1_1888_24->n171_a_wilde_1_1888_25 n171_a_wilde_1_1888_26->n171_a_wilde_1_1888_27 n171_a_wilde_1_1888_28->n171_a_wilde_1_1888_29 n171_a_wilde_1_1888_31 CONJ n171_a_wilde_1_1888_30->n171_a_wilde_1_1888_31 n171_a_wilde_1_1888_33 ILYR n171_a_wilde_1_1888_30->n171_a_wilde_1_1888_33 n171_a_wilde_1_1888_31->n171_a_wilde_1_1888_32 n171_a_wilde_1_1888_34 NP-SBJ n171_a_wilde_1_1888_33->n171_a_wilde_1_1888_34 n171_a_wilde_1_1888_39 MD;_cat_Vi_ n171_a_wilde_1_1888_33->n171_a_wilde_1_1888_39 n171_a_wilde_1_1888_41 IP-INF-CAT n171_a_wilde_1_1888_33->n171_a_wilde_1_1888_41 n171_a_wilde_1_1888_35 D n171_a_wilde_1_1888_34->n171_a_wilde_1_1888_35 n171_a_wilde_1_1888_37 N n171_a_wilde_1_1888_34->n171_a_wilde_1_1888_37 n171_a_wilde_1_1888_35->n171_a_wilde_1_1888_36 n171_a_wilde_1_1888_37->n171_a_wilde_1_1888_38 n171_a_wilde_1_1888_39->n171_a_wilde_1_1888_40 n171_a_wilde_1_1888_42 BE;_La_ n171_a_wilde_1_1888_41->n171_a_wilde_1_1888_42 n171_a_wilde_1_1888_44 ADJP-PRD n171_a_wilde_1_1888_41->n171_a_wilde_1_1888_44 n171_a_wilde_1_1888_42->n171_a_wilde_1_1888_43 n171_a_wilde_1_1888_45 ADVP n171_a_wilde_1_1888_44->n171_a_wilde_1_1888_45 n171_a_wilde_1_1888_48 ADJ n171_a_wilde_1_1888_44->n171_a_wilde_1_1888_48 n171_a_wilde_1_1888_50 PP n171_a_wilde_1_1888_44->n171_a_wilde_1_1888_50 n171_a_wilde_1_1888_46 ADV n171_a_wilde_1_1888_45->n171_a_wilde_1_1888_46 n171_a_wilde_1_1888_46->n171_a_wilde_1_1888_47 n171_a_wilde_1_1888_48->n171_a_wilde_1_1888_49 n171_a_wilde_1_1888_51 P-ROLE n171_a_wilde_1_1888_50->n171_a_wilde_1_1888_51 n171_a_wilde_1_1888_53 NP n171_a_wilde_1_1888_50->n171_a_wilde_1_1888_53 n171_a_wilde_1_1888_51->n171_a_wilde_1_1888_52 n171_a_wilde_1_1888_54 D n171_a_wilde_1_1888_53->n171_a_wilde_1_1888_54 n171_a_wilde_1_1888_56 ADJP n171_a_wilde_1_1888_53->n171_a_wilde_1_1888_56 n171_a_wilde_1_1888_59 N n171_a_wilde_1_1888_53->n171_a_wilde_1_1888_59 n171_a_wilde_1_1888_54->n171_a_wilde_1_1888_55 n171_a_wilde_1_1888_57 ADJ n171_a_wilde_1_1888_56->n171_a_wilde_1_1888_57 n171_a_wilde_1_1888_57->n171_a_wilde_1_1888_58 n171_a_wilde_1_1888_59->n171_a_wilde_1_1888_60 n171_a_wilde_1_1888_61->n171_a_wilde_1_1888_62 n171_a_wilde_1_1888_63->n171_a_wilde_1_1888_64 
( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N ruby;{ruby}))
                      (MD;_cat_Vi_ shall;{shall})
                      (IP-INF-CAT (BE;_La_ be;{be})
                                  (ADJP-PRD (ADJR redder;{red})
                                            (PP (P-ROLE than;{than})
                                                (NP (D a;{a})
                                                    (ADJP (ADJ red;{red}))
                                                    (N rose;{rose}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N sapphire;{sapphire}))
                             (MD;_cat_Vi_ shall;{shall})
                             (IP-INF-CAT (BE;_La_ be;{be})
                                         (ADJP-PRD (ADVP (ADV as;{as}))
                                                   (ADJ blue;{blue})
                                                   (PP (P-ROLE as;{as})
                                                       (NP (D the;{the})
                                                           (ADJP (ADJ great;{great}))
                                                           (N sea;{sea}))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 171_a_wilde_1_1888))