162_a_ted_talk_11
Around the world, there were no public systems of education, really, before the 19th century.
arc(r_0162_0005__there_r_0162_0006__were, r_0162_0002__the_r_0162_0003__world, r_0162_0001__Around_nim5).
arc(r_0162_0005__there_r_0162_0006__were, r_0162_0009__systems, arg0).
arc(r_0162_0005__there_r_0162_0006__were, r_0162_0013__really, nim32).
arc(r_0162_0005__there_r_0162_0006__were, r_0162_0016__the_r_0162_0017__19th_r_0162_0018__century, r_0162_0015__before_nim40).
arc(r_0162_0007__no_quant, r_0162_0005__there_r_0162_0006__were, scope).
arc(r_0162_0007__no_quant, r_0162_0009__systems, restriction).
arc(r_0162_0009__systems, r_0162_0008__public, attrib19).
arc(r_0162_0009__systems, r_0162_0011__education, r_0162_0010__of).
fof(formula,axiom,
! [R_0162_0009__SYSTEMS,R_0162_0008__PUBLIC,R_0162_0011__EDUCATION] :
( ( r_0162_0008__public(R_0162_0008__PUBLIC)
& r_0162_0011__education(R_0162_0011__EDUCATION)
& r_0162_0009__systems(R_0162_0009__SYSTEMS)
& has_r_0162_0010__of(R_0162_0009__SYSTEMS,R_0162_0011__EDUCATION)
& has_attrib19(R_0162_0009__SYSTEMS,R_0162_0008__PUBLIC) )
=> ? [R_0162_0002__THE_R_0162_0003__WORLD,R_0162_0013__REALLY,R_0162_0016__THE_R_0162_0017__19TH_R_0162_0018__CENTURY,R_0162_0005__THERE_R_0162_0006__WERE] :
( r_0162_0002__the_r_0162_0003__world(R_0162_0002__THE_R_0162_0003__WORLD)
& r_0162_0013__really(R_0162_0013__REALLY)
& r_0162_0016__the_r_0162_0017__19th_r_0162_0018__century(R_0162_0016__THE_R_0162_0017__19TH_R_0162_0018__CENTURY)
& r_0162_0005__there_r_0162_0006__were(R_0162_0005__THERE_R_0162_0006__WERE)
& has_r_0162_0015__before_nim40(R_0162_0005__THERE_R_0162_0006__WERE,R_0162_0016__THE_R_0162_0017__19TH_R_0162_0018__CENTURY)
& has_nim32(R_0162_0005__THERE_R_0162_0006__WERE,R_0162_0013__REALLY)
& has_arg0(R_0162_0005__THERE_R_0162_0006__WERE,R_0162_0009__SYSTEMS)
& has_r_0162_0001__Around_nim5(R_0162_0005__THERE_R_0162_0006__WERE,R_0162_0002__THE_R_0162_0003__WORLD) ) ) ).
( (IP-MAT (PP-NIM (P-ROLE Around;{around})
(NP (D the;{the})
(N world;{world})))
(PUNC ,)
(EX there;{there})
(BED;_ex_V_ were;{be})
(NP-ESBJ (Q no;{no})
(ADJP (ADJ public;{public}))
(NS systems;{system})
(PP (P-ROLE of;{of})
(NP (N education;{education}))))
(PUNC ,)
(ADVP-NIM (ADV really;{really}))
(PUNC ,)
(PP-NIM (P-ROLE before;{before})
(NP (D the;{the})
(NUM 19th)
(N century;{century})))
(PUNC .))
(ID 162_a_ted_talk_11))