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_0019__the_r_0171_0021__sea the sea r_0171_0020__great great r_0171_0019__the_r_0171_0021__sea->r_0171_0020__great [attrib] r_0171_0017__blue blue r_0171_0017__blue->r_0171_0019__the_r_0171_0021__sea as r_0171_0016__as as r_0171_0017__blue->r_0171_0016__as [qual] r_0171_0014__shall_r_0171_0015__be shall be r_0171_0014__shall_r_0171_0015__be->r_0171_0017__blue [prd] 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_0011__and and r_0171_0011__and->r_0171_0014__shall_r_0171_0015__be [conj2] r_0171_0003__shall_r_0171_0004__be shall be r_0171_0011__and->r_0171_0003__shall_r_0171_0004__be [conj1] r_0171_0005__redder redder r_0171_0003__shall_r_0171_0004__be->r_0171_0005__redder [prd] 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_0007__a_r_0171_0009__rose a rose r_0171_0008__red red r_0171_0007__a_r_0171_0009__rose->r_0171_0008__red [attrib] r_0171_0005__redder->r_0171_0007__a_r_0171_0009__rose than 
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__1_1_1_1_1_1 The n171_a_wilde_1_1888__1_1_1_1_2_1 ruby n171_a_wilde_1_1888__1_1_1_2_1 shall n171_a_wilde_1_1888__1_1_1_3_1_1 be n171_a_wilde_1_1888__1_1_1_3_2_1_1 redder n171_a_wilde_1_1888__1_1_1_3_2_2_1_1 than n171_a_wilde_1_1888__1_1_1_3_2_2_2_1_1 a n171_a_wilde_1_1888__1_1_1_3_2_2_2_2_1_1 red n171_a_wilde_1_1888__1_1_1_3_2_2_2_3_1 rose n171_a_wilde_1_1888__1_1_2_1 , n171_a_wilde_1_1888__1_1_3_1_1 and n171_a_wilde_1_1888__1_1_3_2_1_1_1 the n171_a_wilde_1_1888__1_1_3_2_1_2_1 sapphire n171_a_wilde_1_1888__1_1_3_2_2_1 shall n171_a_wilde_1_1888__1_1_3_2_3_1_1 be n171_a_wilde_1_1888__1_1_3_2_3_2_1_1_1 as n171_a_wilde_1_1888__1_1_3_2_3_2_2_1 blue n171_a_wilde_1_1888__1_1_3_2_3_2_3_1_1 as n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_1_1 the n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_2_1_1 great n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_3_1 sea n171_a_wilde_1_1888__1_2_1 . n171_a_wilde_1_1888__1_3_1 <rdquo> n171_a_wilde_1_1888__1 IP-MAT n171_a_wilde_1_1888__1_1 ILYR n171_a_wilde_1_1888__1->n171_a_wilde_1_1888__1_1 n171_a_wilde_1_1888__1_2 PUNC n171_a_wilde_1_1888__1->n171_a_wilde_1_1888__1_2 n171_a_wilde_1_1888__1_3 PURQ n171_a_wilde_1_1888__1->n171_a_wilde_1_1888__1_3 n171_a_wilde_1_1888__1_1_1 ILYR n171_a_wilde_1_1888__1_1->n171_a_wilde_1_1888__1_1_1 n171_a_wilde_1_1888__1_1_2 PUNC n171_a_wilde_1_1888__1_1->n171_a_wilde_1_1888__1_1_2 n171_a_wilde_1_1888__1_1_3 CONJP n171_a_wilde_1_1888__1_1->n171_a_wilde_1_1888__1_1_3 n171_a_wilde_1_1888__1_1_1_1 NP-SBJ n171_a_wilde_1_1888__1_1_1->n171_a_wilde_1_1888__1_1_1_1 n171_a_wilde_1_1888__1_1_1_2 MD;_cat_Vi_ n171_a_wilde_1_1888__1_1_1->n171_a_wilde_1_1888__1_1_1_2 n171_a_wilde_1_1888__1_1_1_3 IP-INF-CAT n171_a_wilde_1_1888__1_1_1->n171_a_wilde_1_1888__1_1_1_3 n171_a_wilde_1_1888__1_1_1_1_1 D n171_a_wilde_1_1888__1_1_1_1->n171_a_wilde_1_1888__1_1_1_1_1 n171_a_wilde_1_1888__1_1_1_1_2 N n171_a_wilde_1_1888__1_1_1_1->n171_a_wilde_1_1888__1_1_1_1_2 n171_a_wilde_1_1888__1_1_1_1_1->n171_a_wilde_1_1888__1_1_1_1_1_1 n171_a_wilde_1_1888__1_1_1_1_2->n171_a_wilde_1_1888__1_1_1_1_2_1 n171_a_wilde_1_1888__1_1_1_2->n171_a_wilde_1_1888__1_1_1_2_1 n171_a_wilde_1_1888__1_1_1_3_1 BE;_La_ n171_a_wilde_1_1888__1_1_1_3->n171_a_wilde_1_1888__1_1_1_3_1 n171_a_wilde_1_1888__1_1_1_3_2 ADJP-PRD n171_a_wilde_1_1888__1_1_1_3->n171_a_wilde_1_1888__1_1_1_3_2 n171_a_wilde_1_1888__1_1_1_3_1->n171_a_wilde_1_1888__1_1_1_3_1_1 n171_a_wilde_1_1888__1_1_1_3_2_1 ADJR n171_a_wilde_1_1888__1_1_1_3_2->n171_a_wilde_1_1888__1_1_1_3_2_1 n171_a_wilde_1_1888__1_1_1_3_2_2 PP n171_a_wilde_1_1888__1_1_1_3_2->n171_a_wilde_1_1888__1_1_1_3_2_2 n171_a_wilde_1_1888__1_1_1_3_2_1->n171_a_wilde_1_1888__1_1_1_3_2_1_1 n171_a_wilde_1_1888__1_1_1_3_2_2_1 P-ROLE n171_a_wilde_1_1888__1_1_1_3_2_2->n171_a_wilde_1_1888__1_1_1_3_2_2_1 n171_a_wilde_1_1888__1_1_1_3_2_2_2 NP n171_a_wilde_1_1888__1_1_1_3_2_2->n171_a_wilde_1_1888__1_1_1_3_2_2_2 n171_a_wilde_1_1888__1_1_1_3_2_2_1->n171_a_wilde_1_1888__1_1_1_3_2_2_1_1 n171_a_wilde_1_1888__1_1_1_3_2_2_2_1 D n171_a_wilde_1_1888__1_1_1_3_2_2_2->n171_a_wilde_1_1888__1_1_1_3_2_2_2_1 n171_a_wilde_1_1888__1_1_1_3_2_2_2_2 ADJP n171_a_wilde_1_1888__1_1_1_3_2_2_2->n171_a_wilde_1_1888__1_1_1_3_2_2_2_2 n171_a_wilde_1_1888__1_1_1_3_2_2_2_3 N n171_a_wilde_1_1888__1_1_1_3_2_2_2->n171_a_wilde_1_1888__1_1_1_3_2_2_2_3 n171_a_wilde_1_1888__1_1_1_3_2_2_2_1->n171_a_wilde_1_1888__1_1_1_3_2_2_2_1_1 n171_a_wilde_1_1888__1_1_1_3_2_2_2_2_1 ADJ n171_a_wilde_1_1888__1_1_1_3_2_2_2_2->n171_a_wilde_1_1888__1_1_1_3_2_2_2_2_1 n171_a_wilde_1_1888__1_1_1_3_2_2_2_2_1->n171_a_wilde_1_1888__1_1_1_3_2_2_2_2_1_1 n171_a_wilde_1_1888__1_1_1_3_2_2_2_3->n171_a_wilde_1_1888__1_1_1_3_2_2_2_3_1 n171_a_wilde_1_1888__1_1_2->n171_a_wilde_1_1888__1_1_2_1 n171_a_wilde_1_1888__1_1_3_1 CONJ n171_a_wilde_1_1888__1_1_3->n171_a_wilde_1_1888__1_1_3_1 n171_a_wilde_1_1888__1_1_3_2 ILYR n171_a_wilde_1_1888__1_1_3->n171_a_wilde_1_1888__1_1_3_2 n171_a_wilde_1_1888__1_1_3_1->n171_a_wilde_1_1888__1_1_3_1_1 n171_a_wilde_1_1888__1_1_3_2_1 NP-SBJ n171_a_wilde_1_1888__1_1_3_2->n171_a_wilde_1_1888__1_1_3_2_1 n171_a_wilde_1_1888__1_1_3_2_2 MD;_cat_Vi_ n171_a_wilde_1_1888__1_1_3_2->n171_a_wilde_1_1888__1_1_3_2_2 n171_a_wilde_1_1888__1_1_3_2_3 IP-INF-CAT n171_a_wilde_1_1888__1_1_3_2->n171_a_wilde_1_1888__1_1_3_2_3 n171_a_wilde_1_1888__1_1_3_2_1_1 D n171_a_wilde_1_1888__1_1_3_2_1->n171_a_wilde_1_1888__1_1_3_2_1_1 n171_a_wilde_1_1888__1_1_3_2_1_2 N n171_a_wilde_1_1888__1_1_3_2_1->n171_a_wilde_1_1888__1_1_3_2_1_2 n171_a_wilde_1_1888__1_1_3_2_1_1->n171_a_wilde_1_1888__1_1_3_2_1_1_1 n171_a_wilde_1_1888__1_1_3_2_1_2->n171_a_wilde_1_1888__1_1_3_2_1_2_1 n171_a_wilde_1_1888__1_1_3_2_2->n171_a_wilde_1_1888__1_1_3_2_2_1 n171_a_wilde_1_1888__1_1_3_2_3_1 BE;_La_ n171_a_wilde_1_1888__1_1_3_2_3->n171_a_wilde_1_1888__1_1_3_2_3_1 n171_a_wilde_1_1888__1_1_3_2_3_2 ADJP-PRD n171_a_wilde_1_1888__1_1_3_2_3->n171_a_wilde_1_1888__1_1_3_2_3_2 n171_a_wilde_1_1888__1_1_3_2_3_1->n171_a_wilde_1_1888__1_1_3_2_3_1_1 n171_a_wilde_1_1888__1_1_3_2_3_2_1 ADVP n171_a_wilde_1_1888__1_1_3_2_3_2->n171_a_wilde_1_1888__1_1_3_2_3_2_1 n171_a_wilde_1_1888__1_1_3_2_3_2_2 ADJ n171_a_wilde_1_1888__1_1_3_2_3_2->n171_a_wilde_1_1888__1_1_3_2_3_2_2 n171_a_wilde_1_1888__1_1_3_2_3_2_3 PP n171_a_wilde_1_1888__1_1_3_2_3_2->n171_a_wilde_1_1888__1_1_3_2_3_2_3 n171_a_wilde_1_1888__1_1_3_2_3_2_1_1 ADV n171_a_wilde_1_1888__1_1_3_2_3_2_1->n171_a_wilde_1_1888__1_1_3_2_3_2_1_1 n171_a_wilde_1_1888__1_1_3_2_3_2_1_1->n171_a_wilde_1_1888__1_1_3_2_3_2_1_1_1 n171_a_wilde_1_1888__1_1_3_2_3_2_2->n171_a_wilde_1_1888__1_1_3_2_3_2_2_1 n171_a_wilde_1_1888__1_1_3_2_3_2_3_1 P-ROLE n171_a_wilde_1_1888__1_1_3_2_3_2_3->n171_a_wilde_1_1888__1_1_3_2_3_2_3_1 n171_a_wilde_1_1888__1_1_3_2_3_2_3_2 NP n171_a_wilde_1_1888__1_1_3_2_3_2_3->n171_a_wilde_1_1888__1_1_3_2_3_2_3_2 n171_a_wilde_1_1888__1_1_3_2_3_2_3_1->n171_a_wilde_1_1888__1_1_3_2_3_2_3_1_1 n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_1 D n171_a_wilde_1_1888__1_1_3_2_3_2_3_2->n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_1 n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_2 ADJP n171_a_wilde_1_1888__1_1_3_2_3_2_3_2->n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_2 n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_3 N n171_a_wilde_1_1888__1_1_3_2_3_2_3_2->n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_3 n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_1->n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_1_1 n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_2_1 ADJ n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_2->n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_2_1 n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_2_1->n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_2_1_1 n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_3->n171_a_wilde_1_1888__1_1_3_2_3_2_3_2_3_1 n171_a_wilde_1_1888__1_2->n171_a_wilde_1_1888__1_2_1 n171_a_wilde_1_1888__1_3->n171_a_wilde_1_1888__1_3_1 
( (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))