127_a_ted_talk_11
And in pretty much every system too, there's a hierarchy within the arts.
( (IP-MAT (CONJ;_cl_ And;{and})
(PP-NIM (P-ROLE in;{in})
(NP (ADJP (ADVP (ADV pretty;{pretty}))
(ADJ much;{much}))
(Q every;{every})
(N system;{system})
(ADVP (ADV too;{too}))))
(PUNC ,)
(EX there;{there})
(BEP;_ex_V_ <apos>s;{be})
(NP-ESBJ (D a;{a})
(N hierarchy;{hierarchy})
(PP (P-ROLE within;{within})
(NP (D the;{the})
(NS arts;{art}))))
(PUNC .))
(ID 127_a_ted_talk_11))
arc(r_0127_0004__much,r_0127_0003__pretty,qual).
arc(r_0127_0005__every__quant,r_0127_0006__system,restriction).
arc(r_0127_0005__every__quant,r_0127_0010___apos_s,scope).
arc(r_0127_0006__system,r_0127_0004__much,attrib).
arc(r_0127_0006__system,r_0127_0007__too,qual).
arc(r_0127_0010___apos_s,r_0127_0006__system,r_0127_0002__in__nim).
arc(r_0127_0010___apos_s,r_0127_0011__a_r_0127_0012__hierarchy,arg0).
arc(r_0127_0011__a_r_0127_0012__hierarchy,r_0127_0014__the_r_0127_0015__arts,r_0127_0013__within).
fof(formula,axiom,
! [R_0127_0006__SYSTEM,R_0127_0003__PRETTY,R_0127_0004__MUCH,R_0127_0007__TOO] :
( ( r_0127_0003__pretty(R_0127_0003__PRETTY)
& r_0127_0007__too(R_0127_0007__TOO)
& r_0127_0006__system(R_0127_0006__SYSTEM)
& has_qual(R_0127_0006__SYSTEM,R_0127_0007__TOO)
& has_attrib(R_0127_0006__SYSTEM,R_0127_0004__MUCH)
& r_0127_0004__much(R_0127_0004__MUCH)
& has_qual(R_0127_0004__MUCH,R_0127_0003__PRETTY) )
=> ? [R_0127_0014__THE_R_0127_0015__ARTS,R_0127_0011__A_R_0127_0012__HIERARCHY,R_0127_0010___APOS_S] :
( r_0127_0014__the_r_0127_0015__arts(R_0127_0014__THE_R_0127_0015__ARTS)
& r_0127_0010___apos_s(R_0127_0010___APOS_S)
& has_arg0(R_0127_0010___APOS_S,R_0127_0011__A_R_0127_0012__HIERARCHY)
& r_0127_0011__a_r_0127_0012__hierarchy(R_0127_0011__A_R_0127_0012__HIERARCHY)
& has_r_0127_0013__within(R_0127_0011__A_R_0127_0012__HIERARCHY,R_0127_0014__THE_R_0127_0015__ARTS)
& has_r_0127_0002__in__nim(R_0127_0010___APOS_S,R_0127_0006__SYSTEM) ) ) ).