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.

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

arc(r_0080_0002__law,r_0080_0001__Roman,attrib).
arc(r_0080_0003__served_r_0080_0004__as,r_0080_0002__law,arg0).
arc(r_0080_0003__served_r_0080_0004__as,r_0080_0005__the_r_0080_0006__basis,arg1).
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,inv_arg1).
arc(r_0080_0010__developed,r_0080_0012__a_r_0080_0013__number,r_0080_0011__in__nim).
arc(r_0080_0010__developed,z_0080_5009___star_,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,attrib).
arc(r_0080_0017__countries,r_0080_0016__European,attrib).

fof(formula,axiom,
    ? [R_0080_0001__ROMAN,R_0080_0002__LAW,R_0080_0015__CONTINENTAL,R_0080_0016__EUROPEAN,R_0080_0017__COUNTRIES,R_0080_0012__A_R_0080_0013__NUMBER,Z_0080_5009___STAR_,R_0080_0010__DEVELOPED,R_0080_0008__LAW_R_0080_0009__SYSTEMS,R_0080_0005__THE_R_0080_0006__BASIS,R_0080_0003__SERVED_R_0080_0004__AS] :
      ( r_0080_0001__Roman(R_0080_0001__ROMAN)
      & r_0080_0015__continental(R_0080_0015__CONTINENTAL)
      & r_0080_0016__European(R_0080_0016__EUROPEAN)
      & z_0080_5009___star_(Z_0080_5009___STAR_)
      & r_0080_0003__served_r_0080_0004__as(R_0080_0003__SERVED_R_0080_0004__AS)
      & has_arg1(R_0080_0003__SERVED_R_0080_0004__AS,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)
      & r_0080_0008__law_r_0080_0009__systems(R_0080_0008__LAW_R_0080_0009__SYSTEMS)
      & has_inv_arg1(R_0080_0008__LAW_R_0080_0009__SYSTEMS,R_0080_0010__DEVELOPED)
      & r_0080_0010__developed(R_0080_0010__DEVELOPED)
      & has_arg0(R_0080_0010__DEVELOPED,Z_0080_5009___STAR_)
      & has_r_0080_0011__in__nim(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_attrib(R_0080_0017__COUNTRIES,R_0080_0016__EUROPEAN)
      & has_attrib(R_0080_0017__COUNTRIES,R_0080_0015__CONTINENTAL)
      & has_arg0(R_0080_0003__SERVED_R_0080_0004__AS,R_0080_0002__LAW)
      & r_0080_0002__law(R_0080_0002__LAW)
      & has_attrib(R_0080_0002__LAW,R_0080_0001__ROMAN) ) ).