127_a_ted_talk_11
And in pretty much every system too, there's a hierarchy within the arts.
arc(r_0127_0001__And_r_0127_0009__there_r_0127_0010___apos_s, r_0127_0006__system, r_0127_0002__in_nim7).
arc(r_0127_0001__And_r_0127_0009__there_r_0127_0010___apos_s, r_0127_0011__a_r_0127_0012__hierarchy, arg0).
arc(r_0127_0004__much, r_0127_0003__pretty, qual9).
arc(r_0127_0005__every_quant, r_0127_0001__And_r_0127_0009__there_r_0127_0010___apos_s, scope).
arc(r_0127_0005__every_quant, r_0127_0006__system, restriction).
arc(r_0127_0006__system, r_0127_0004__much, attrib8).
arc(r_0127_0006__system, r_0127_0007__too, qual18).
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_127_6_SYSTEM,R_127_4_MUCH,R_127_3_PRETTY,R_127_7_TOO] :
( ( pretty(R_127_3_PRETTY)
& too(R_127_7_TOO)
& system(R_127_6_SYSTEM)
& attrib8(R_127_6_SYSTEM,R_127_4_MUCH)
& much(R_127_4_MUCH)
& qual9(R_127_4_MUCH,R_127_3_PRETTY)
& qual18(R_127_6_SYSTEM,R_127_7_TOO) )
=> ? [R_127_1_AND_THERE_APOS_S,R_127_11_A_HIERARCHY,R_127_14_THE_ARTS] :
( the_arts(R_127_14_THE_ARTS)
& and_there_apos_s(R_127_1_AND_THERE_APOS_S,R_127_11_A_HIERARCHY)
& a_hierarchy(R_127_11_A_HIERARCHY)
& within(R_127_11_A_HIERARCHY,R_127_14_THE_ARTS)
& in_nim7(R_127_1_AND_THERE_APOS_S,R_127_6_SYSTEM) ) ) ).
( (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))