TSPC 80_a_factbook_2

80_a_factbook_2_2010
Roman law served as the basis of law systems developed in a number of continental European countries.

arc(r_0080_0002__law, r_0080_0001__Roman, attrib3).
arc(r_0080_0003__served, r_0080_0002__law, arg0).
arc(r_0080_0003__served, r_0080_0005__the_r_0080_0006__basis, r_0080_0004__as_clr13).
arc(r_0080_0005__the_r_0080_0006__basis, r_0080_0008__law_r_0080_0009__systems, r_0080_0007__of).
arc(r_0080_0010__developed, r_0080_0008__law_r_0080_0009__systems, arg1).
arc(r_0080_0010__developed, r_0080_0012__a_r_0080_0013__number, r_0080_0011__in_nim34).
arc(r_0080_0010__developed, z_000_80_a_factbook_2_2010_27, arg0).
arc(r_0080_0012__a_r_0080_0013__number, r_0080_0017__countries, r_0080_0014__of).
arc(r_0080_0017__countries, r_0080_0015__continental, attrib43).
arc(r_0080_0017__countries, r_0080_0016__European, attrib46).

fof(formula,axiom,
    ? [R_0080_0001__ROMAN,R_0080_0002__LAW,R_0080_0008__LAW_R_0080_0009__SYSTEMS,R_0080_0005__THE_R_0080_0006__BASIS,R_0080_0003__SERVED,R_0080_0015__CONTINENTAL,R_0080_0016__EUROPEAN,R_0080_0017__COUNTRIES,R_0080_0012__A_R_0080_0013__NUMBER,Z_000_80_A_FACTBOOK_2_2010_27,R_0080_0010__DEVELOPED] :
      ( r_0080_0001__Roman(R_0080_0001__ROMAN)
      & r_0080_0008__law_r_0080_0009__systems(R_0080_0008__LAW_R_0080_0009__SYSTEMS)
      & r_0080_0015__continental(R_0080_0015__CONTINENTAL)
      & r_0080_0016__European(R_0080_0016__EUROPEAN)
      & z_000_80_a_factbook_2_2010_27(Z_000_80_A_FACTBOOK_2_2010_27)
      & r_0080_0010__developed(R_0080_0010__DEVELOPED)
      & has_arg0(R_0080_0010__DEVELOPED,Z_000_80_A_FACTBOOK_2_2010_27)
      & has_r_0080_0011__in_nim34(R_0080_0010__DEVELOPED,R_0080_0012__A_R_0080_0013__NUMBER)
      & r_0080_0012__a_r_0080_0013__number(R_0080_0012__A_R_0080_0013__NUMBER)
      & has_r_0080_0014__of(R_0080_0012__A_R_0080_0013__NUMBER,R_0080_0017__COUNTRIES)
      & r_0080_0017__countries(R_0080_0017__COUNTRIES)
      & has_attrib46(R_0080_0017__COUNTRIES,R_0080_0016__EUROPEAN)
      & has_attrib43(R_0080_0017__COUNTRIES,R_0080_0015__CONTINENTAL)
      & has_arg1(R_0080_0010__DEVELOPED,R_0080_0008__LAW_R_0080_0009__SYSTEMS)
      & r_0080_0003__served(R_0080_0003__SERVED)
      & has_r_0080_0004__as_clr13(R_0080_0003__SERVED,R_0080_0005__THE_R_0080_0006__BASIS)
      & r_0080_0005__the_r_0080_0006__basis(R_0080_0005__THE_R_0080_0006__BASIS)
      & has_r_0080_0007__of(R_0080_0005__THE_R_0080_0006__BASIS,R_0080_0008__LAW_R_0080_0009__SYSTEMS)
      & has_arg0(R_0080_0003__SERVED,R_0080_0002__LAW)
      & r_0080_0002__law(R_0080_0002__LAW)
      & has_attrib3(R_0080_0002__LAW,R_0080_0001__ROMAN) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Roman;{roman}))
                  (N law;{law}))
          (VBD;_Ipr_ served;{serve[as]})
          (PP-CLR (P-ROLE as;{as})
                  (NP (D the;{the})
                      (N basis;{basis})
                      (PP (P-ROLE of;{of})
                          (NP (N law;{law})
                              (NS systems;{system})
                              (IP-PPL (NP-LGS *)
                                      (VVN;__ developed;{develop})
                                      (PP-NIM (P-ROLE in;{in})
                                              (NP (D a;{a})
                                                  (N number;{number})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (ADJP (ADJ continental;{continental}))
                                                          (ADJP (ADJ European;{european}))
                                                          (NS countries;{country}))))))))))
          (PUNC .))
  (ID 80_a_factbook_2_2010))