TSPC 8_a_factbook_2

8_a_factbook_2_2010
The major feature of civil law systems is that the laws are organized into systematic written codes.

arc(r_0008_0001__The_r_0008_0003__feature, r_0008_0002__major, attrib5).
arc(r_0008_0001__The_r_0008_0003__feature, r_0008_0006__law_r_0008_0007__systems, r_0008_0004__of).
arc(r_0008_0006__law_r_0008_0007__systems, r_0008_0005__civil, attrib14).
arc(r_0008_0008__is, r_0008_0001__The_r_0008_0003__feature, arg0).
arc(r_0008_0008__is, r_0008_0009__that_r_0008_0012__are, prd).
arc(r_0008_0009__that_r_0008_0012__are, r_0008_0013__organized, scope).
arc(r_0008_0013__organized, r_0008_0010__the_r_0008_0011__laws, arg1).
arc(r_0008_0013__organized, r_0008_0017__codes, prd).
arc(r_0008_0013__organized, z_000_8_a_factbook_2_2010_35, arg0).
arc(r_0008_0017__codes, r_0008_0015__systematic, attrib43).
arc(r_0008_0017__codes, r_0008_0016__written, attrib46).

fof(formula,axiom,
    ? [R_0008_0002__MAJOR,R_0008_0005__CIVIL,R_0008_0006__LAW_R_0008_0007__SYSTEMS,R_0008_0001__THE_R_0008_0003__FEATURE,R_0008_0010__THE_R_0008_0011__LAWS,R_0008_0015__SYSTEMATIC,R_0008_0016__WRITTEN,R_0008_0017__CODES,Z_000_8_A_FACTBOOK_2_2010_35,R_0008_0009__THAT_R_0008_0012__ARE_R_0008_0013__ORGANIZED,R_0008_0008__IS] :
      ( r_0008_0002__major(R_0008_0002__MAJOR)
      & r_0008_0005__civil(R_0008_0005__CIVIL)
      & r_0008_0010__the_r_0008_0011__laws(R_0008_0010__THE_R_0008_0011__LAWS)
      & r_0008_0015__systematic(R_0008_0015__SYSTEMATIC)
      & r_0008_0016__written(R_0008_0016__WRITTEN)
      & z_000_8_a_factbook_2_2010_35(Z_000_8_A_FACTBOOK_2_2010_35)
      & r_0008_0008__is(R_0008_0008__IS)
      & has_prd(R_0008_0008__IS,R_0008_0009__THAT_R_0008_0012__ARE_R_0008_0013__ORGANIZED)
      & r_0008_0009__that_r_0008_0012__are_r_0008_0013__organized(R_0008_0009__THAT_R_0008_0012__ARE_R_0008_0013__ORGANIZED)
      & has_arg0(R_0008_0009__THAT_R_0008_0012__ARE_R_0008_0013__ORGANIZED,Z_000_8_A_FACTBOOK_2_2010_35)
      & has_prd(R_0008_0009__THAT_R_0008_0012__ARE_R_0008_0013__ORGANIZED,R_0008_0017__CODES)
      & r_0008_0017__codes(R_0008_0017__CODES)
      & has_attrib46(R_0008_0017__CODES,R_0008_0016__WRITTEN)
      & has_attrib43(R_0008_0017__CODES,R_0008_0015__SYSTEMATIC)
      & has_arg1(R_0008_0009__THAT_R_0008_0012__ARE_R_0008_0013__ORGANIZED,R_0008_0010__THE_R_0008_0011__LAWS)
      & has_arg0(R_0008_0008__IS,R_0008_0001__THE_R_0008_0003__FEATURE)
      & r_0008_0001__The_r_0008_0003__feature(R_0008_0001__THE_R_0008_0003__FEATURE)
      & has_r_0008_0004__of(R_0008_0001__THE_R_0008_0003__FEATURE,R_0008_0006__LAW_R_0008_0007__SYSTEMS)
      & r_0008_0006__law_r_0008_0007__systems(R_0008_0006__LAW_R_0008_0007__SYSTEMS)
      & has_attrib14(R_0008_0006__LAW_R_0008_0007__SYSTEMS,R_0008_0005__CIVIL)
      & has_attrib5(R_0008_0001__THE_R_0008_0003__FEATURE,R_0008_0002__MAJOR) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ major;{major}))
                  (N feature;{feature})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ civil;{civil}))
                          (N law;{law})
                          (NS systems;{system}))))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ (D the;{the})
                                      (NS laws;{law}))
                              (BEP;_cat_VePASS_ are;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (VVN;_Tn.pr_ organized;{organize[into]})
                                          (PP-PRD (P-ROLE into;{into})
                                                  (NP (ADJP (ADJ systematic;{systematic}))
                                                      (ADJP (ADJ written;{written}))
                                                      (NS codes;{code}))))))
          (PUNC .))
  (ID 8_a_factbook_2_2010))