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.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ major;{major}))
                  (N feature;{feature})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (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))

arc(r_0008_0001__The_r_0008_0003__feature,r_0008_0002__major,attrib).
arc(r_0008_0001__The_r_0008_0003__feature,r_0008_0007__systems,r_0008_0004__of).
arc(r_0008_0006__law,r_0008_0005__civil,attrib).
arc(r_0008_0007__systems,r_0008_0006__law,nim).
arc(r_0008_0008__is,r_0008_0001__The_r_0008_0003__feature,arg0).
arc(r_0008_0008__is,r_0008_0012__are,prd).
arc(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,r_0008_0014__into__prd).
arc(r_0008_0013__organized,z_0008_5012___star_,arg0).
arc(r_0008_0017__codes,r_0008_0015__systematic,attrib).
arc(r_0008_0017__codes,r_0008_0016__written,attrib).

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_0008_5012___STAR_,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_0008_5012___star_(Z_0008_5012___STAR_)
      & r_0008_0008__is(R_0008_0008__IS)
      & has_prd(R_0008_0008__IS,R_0008_0012__ARE_R_0008_0013__ORGANIZED)
      & r_0008_0012__are_r_0008_0013__organized(R_0008_0012__ARE_R_0008_0013__ORGANIZED)
      & has_arg0(R_0008_0012__ARE_R_0008_0013__ORGANIZED,Z_0008_5012___STAR_)
      & has_r_0008_0014__into__prd(R_0008_0012__ARE_R_0008_0013__ORGANIZED,R_0008_0017__CODES)
      & r_0008_0017__codes(R_0008_0017__CODES)
      & has_attrib(R_0008_0017__CODES,R_0008_0016__WRITTEN)
      & has_attrib(R_0008_0017__CODES,R_0008_0015__SYSTEMATIC)
      & has_arg1(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_0007__SYSTEMS)
      & r_0008_0007__systems(R_0008_0007__SYSTEMS)
      & has_nim(R_0008_0007__SYSTEMS,R_0008_0006__LAW)
      & r_0008_0006__law(R_0008_0006__LAW)
      & has_attrib(R_0008_0006__LAW,R_0008_0005__CIVIL)
      & has_attrib(R_0008_0001__THE_R_0008_0003__FEATURE,R_0008_0002__MAJOR) ) ).