TSPC 82_a_factbook_2

82_a_factbook_2_2010
Roman-Dutch law serves as the basis for legal systems in seven African countries, as well as Guyana, Indonesia, and Sri Lanka.

( (IP-MAT (NP-SBJ (ADJP (ADJ Roman_<hyphen>_Dutch;{roman_dutch}))
                  (N law;{law}))
          (VBP;_Ipr_ serves;{serve[as]})
          (PP-CLR (P-ROLE as;{as})
                  (NP (D the;{the})
                      (N basis;{basis})
                      (PP (P-ROLE for;{for})
                          (NP (ADJP (ADJ legal;{legal}))
                              (NS systems;{system})))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (NLYR (NLYR (NUM seven;{seven})
                                  (ADJP (ADJ African;{african}))
                                  (NS countries;{country}))
                            (PUNC ,)
                            (CONJP (CONJ as_well_as;{as_well_as})
                                   (NLYR (NLYR (NLYR (NPR Guyana;{Guyana}))
                                               (PUNC ,)
                                               (CONJP (NLYR (NPR Indonesia;{Indonesia})))
                                               (PUNC ,)
                                               (CONJP (CONJ and;{and})
                                                      (NLYR (NPR Sri;{Sri})
                                                            (NPR Lanka;{Lanka})))))))))
          (PUNC .))
  (ID 82_a_factbook_2_2010))

arc(r_0082_0002__law,r_0082_0001__Roman__hyphen__Dutch,attrib).
arc(r_0082_0003__serves_r_0082_0004__as,r_0082_0002__law,arg0).
arc(r_0082_0003__serves_r_0082_0004__as,r_0082_0005__the_r_0082_0006__basis,arg1).
arc(r_0082_0003__serves_r_0082_0004__as,r_0082_0015__as_well_as,r_0082_0010__in__nim).
arc(r_0082_0005__the_r_0082_0006__basis,r_0082_0009__systems,r_0082_0007__for).
arc(r_0082_0009__systems,r_0082_0008__legal,attrib).
arc(r_0082_0011__seven_r_0082_0013__countries,r_0082_0012__African,attrib).
arc(r_0082_0015__as_well_as,r_0082_0011__seven_r_0082_0013__countries,conj1).
arc(r_0082_0015__as_well_as,r_0082_0020__and,conj2).
arc(r_0082_0020__and,r_0082_0016__Guyana,conj1).
arc(r_0082_0020__and,r_0082_0018__Indonesia,conj2).
arc(r_0082_0020__and,r_0082_0021__Sri_r_0082_0022__Lanka,conj3).

fof(formula,axiom,
    ? [R_0082_0001__ROMAN__HYPHEN__DUTCH,R_0082_0002__LAW,R_0082_0008__LEGAL,R_0082_0009__SYSTEMS,R_0082_0005__THE_R_0082_0006__BASIS,R_0082_0012__AFRICAN,R_0082_0011__SEVEN_R_0082_0013__COUNTRIES,R_0082_0016__GUYANA,R_0082_0018__INDONESIA,R_0082_0021__SRI_R_0082_0022__LANKA,R_0082_0020__AND,R_0082_0015__AS_WELL_AS,R_0082_0003__SERVES_R_0082_0004__AS] :
      ( r_0082_0001__Roman__hyphen__Dutch(R_0082_0001__ROMAN__HYPHEN__DUTCH)
      & r_0082_0008__legal(R_0082_0008__LEGAL)
      & r_0082_0012__African(R_0082_0012__AFRICAN)
      & r_0082_0016__Guyana(R_0082_0016__GUYANA)
      & r_0082_0018__Indonesia(R_0082_0018__INDONESIA)
      & r_0082_0021__Sri_r_0082_0022__Lanka(R_0082_0021__SRI_R_0082_0022__LANKA)
      & r_0082_0003__serves_r_0082_0004__as(R_0082_0003__SERVES_R_0082_0004__AS)
      & has_r_0082_0010__in__nim(R_0082_0003__SERVES_R_0082_0004__AS,R_0082_0015__AS_WELL_AS)
      & r_0082_0015__as_well_as(R_0082_0015__AS_WELL_AS)
      & has_conj2(R_0082_0015__AS_WELL_AS,R_0082_0020__AND)
      & r_0082_0020__and(R_0082_0020__AND)
      & has_conj3(R_0082_0020__AND,R_0082_0021__SRI_R_0082_0022__LANKA)
      & has_conj2(R_0082_0020__AND,R_0082_0018__INDONESIA)
      & has_conj1(R_0082_0020__AND,R_0082_0016__GUYANA)
      & has_conj1(R_0082_0015__AS_WELL_AS,R_0082_0011__SEVEN_R_0082_0013__COUNTRIES)
      & r_0082_0011__seven_r_0082_0013__countries(R_0082_0011__SEVEN_R_0082_0013__COUNTRIES)
      & has_attrib(R_0082_0011__SEVEN_R_0082_0013__COUNTRIES,R_0082_0012__AFRICAN)
      & has_arg1(R_0082_0003__SERVES_R_0082_0004__AS,R_0082_0005__THE_R_0082_0006__BASIS)
      & r_0082_0005__the_r_0082_0006__basis(R_0082_0005__THE_R_0082_0006__BASIS)
      & has_r_0082_0007__for(R_0082_0005__THE_R_0082_0006__BASIS,R_0082_0009__SYSTEMS)
      & r_0082_0009__systems(R_0082_0009__SYSTEMS)
      & has_attrib(R_0082_0009__SYSTEMS,R_0082_0008__LEGAL)
      & has_arg0(R_0082_0003__SERVES_R_0082_0004__AS,R_0082_0002__LAW)
      & r_0082_0002__law(R_0082_0002__LAW)
      & has_attrib(R_0082_0002__LAW,R_0082_0001__ROMAN__HYPHEN__DUTCH) ) ).