TSPC 161_a_ted_talk

161_a_ted_talk_11
Around the world, there were no public systems of education, really, before the 19th century.

( (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 161_a_ted_talk_11))

arc(r_0161_0006__were,r_0161_0002__the_r_0161_0003__world,r_0161_0001__Around__nim).
arc(r_0161_0006__were,r_0161_0009__systems,arg0).
arc(r_0161_0006__were,r_0161_0013__really,nim).
arc(r_0161_0006__were,r_0161_0016__the_r_0161_0017__19th_r_0161_0018__century,r_0161_0015__before__nim).
arc(r_0161_0007__no__quant,r_0161_0006__were,scope).
arc(r_0161_0007__no__quant,r_0161_0009__systems,restriction).
arc(r_0161_0009__systems,r_0161_0008__public,attrib).
arc(r_0161_0009__systems,r_0161_0011__education,r_0161_0010__of).

fof(formula,axiom,
    ! [R_0161_0009__SYSTEMS,R_0161_0008__PUBLIC,R_0161_0011__EDUCATION] :
      ( ( r_0161_0008__public(R_0161_0008__PUBLIC)
        & r_0161_0011__education(R_0161_0011__EDUCATION)
        & r_0161_0009__systems(R_0161_0009__SYSTEMS)
        & has_r_0161_0010__of(R_0161_0009__SYSTEMS,R_0161_0011__EDUCATION)
        & has_attrib(R_0161_0009__SYSTEMS,R_0161_0008__PUBLIC) )
     => ? [R_0161_0002__THE_R_0161_0003__WORLD,R_0161_0013__REALLY,R_0161_0016__THE_R_0161_0017__19TH_R_0161_0018__CENTURY,R_0161_0006__WERE] :
          ( r_0161_0002__the_r_0161_0003__world(R_0161_0002__THE_R_0161_0003__WORLD)
          & r_0161_0013__really(R_0161_0013__REALLY)
          & r_0161_0016__the_r_0161_0017__19th_r_0161_0018__century(R_0161_0016__THE_R_0161_0017__19TH_R_0161_0018__CENTURY)
          & r_0161_0006__were(R_0161_0006__WERE)
          & has_r_0161_0015__before__nim(R_0161_0006__WERE,R_0161_0016__THE_R_0161_0017__19TH_R_0161_0018__CENTURY)
          & has_nim(R_0161_0006__WERE,R_0161_0013__REALLY)
          & has_arg0(R_0161_0006__WERE,R_0161_0009__SYSTEMS)
          & has_r_0161_0001__Around__nim(R_0161_0006__WERE,R_0161_0002__THE_R_0161_0003__WORLD) ) ) ).