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.”
( (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))
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,attrib).
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,qual).
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,attrib).
fof(formula,axiom,
? [R_0171_0001__THE_R_0171_0002__RUBY,R_0171_0008__RED,R_0171_0007__A_R_0171_0009__ROSE,R_0171_0005__REDDER,R_0171_0003__SHALL_R_0171_0004__BE,R_0171_0012__THE_R_0171_0013__SAPPHIRE,R_0171_0016__AS,R_0171_0020__GREAT,R_0171_0019__THE_R_0171_0021__SEA,R_0171_0017__BLUE,R_0171_0014__SHALL_R_0171_0015__BE,R_0171_0011__AND] :
( r_0171_0001__The_r_0171_0002__ruby(R_0171_0001__THE_R_0171_0002__RUBY)
& r_0171_0008__red(R_0171_0008__RED)
& r_0171_0012__the_r_0171_0013__sapphire(R_0171_0012__THE_R_0171_0013__SAPPHIRE)
& r_0171_0016__as(R_0171_0016__AS)
& r_0171_0020__great(R_0171_0020__GREAT)
& r_0171_0011__and(R_0171_0011__AND)
& has_conj2(R_0171_0011__AND,R_0171_0014__SHALL_R_0171_0015__BE)
& r_0171_0014__shall_r_0171_0015__be(R_0171_0014__SHALL_R_0171_0015__BE)
& has_prd(R_0171_0014__SHALL_R_0171_0015__BE,R_0171_0017__BLUE)
& r_0171_0017__blue(R_0171_0017__BLUE)
& has_r_0171_0018__as(R_0171_0017__BLUE,R_0171_0019__THE_R_0171_0021__SEA)
& r_0171_0019__the_r_0171_0021__sea(R_0171_0019__THE_R_0171_0021__SEA)
& has_attrib(R_0171_0019__THE_R_0171_0021__SEA,R_0171_0020__GREAT)
& has_qual(R_0171_0017__BLUE,R_0171_0016__AS)
& has_arg0(R_0171_0014__SHALL_R_0171_0015__BE,R_0171_0012__THE_R_0171_0013__SAPPHIRE)
& has_conj1(R_0171_0011__AND,R_0171_0003__SHALL_R_0171_0004__BE)
& r_0171_0003__shall_r_0171_0004__be(R_0171_0003__SHALL_R_0171_0004__BE)
& has_prd(R_0171_0003__SHALL_R_0171_0004__BE,R_0171_0005__REDDER)
& r_0171_0005__redder(R_0171_0005__REDDER)
& has_r_0171_0006__than(R_0171_0005__REDDER,R_0171_0007__A_R_0171_0009__ROSE)
& r_0171_0007__a_r_0171_0009__rose(R_0171_0007__A_R_0171_0009__ROSE)
& has_attrib(R_0171_0007__A_R_0171_0009__ROSE,R_0171_0008__RED)
& has_arg0(R_0171_0003__SHALL_R_0171_0004__BE,R_0171_0001__THE_R_0171_0002__RUBY) ) ).