arc(r_0009_0006__recognized, r_0009_0004__the_r_0009_0005__sources, arg1).
arc(r_0009_0006__recognized, z_000_9_a_factbook_2_2010_16, arg0).
arc(r_0009_0006__recognized, z_000_9_a_factbook_2_2010_23, prd).
arc(r_0009_0009__are, r_0009_0002__civil_r_0009_0003__law, r_0009_0001__In_nim5).
arc(r_0009_0009__are, r_0009_0004__the_r_0009_0005__sources, arg0).
arc(r_0009_0009__are, r_0009_0023__and, prd).
arc(r_0009_0011__legislation, r_0009_0010__principally, qual32).
arc(r_0009_0014__codifications, r_0009_0013__especially, qual41).
arc(r_0009_0014__codifications, r_0009_0017__or, r_0009_0015__in).
arc(r_0009_0017__or, r_0009_0016__constitutions, conj1).
arc(r_0009_0017__or, r_0009_0018__statutes, conj2).
arc(r_0009_0019__enacted, r_0009_0017__or, arg1).
arc(r_0009_0019__enacted, r_0009_0021__governments, arg0).
arc(r_0009_0023__and, r_0009_0011__legislation, conj1).
arc(r_0009_0023__and, r_0009_0026__custom, conj2).
arc(r_0009_0026__custom, r_0009_0024__secondarily, qual75).
arc(z_000_9_a_factbook_2_2010_23, r_0009_0008__authoritative, attrib24).
arc(z_000_9_a_factbook_2_2010_39, r_0009_0011__legislation, arg0).
arc(z_000_9_a_factbook_2_2010_39, r_0009_0014__codifications, prd).

fof(formula,axiom,
    ? [R_9_6_RECOGNIZED,Z_9_A_FACTBOOK_2_2010_16,Z_9_A_FACTBOOK_2_2010_23,R_9_8_AUTHORITATIVE,R_9_9_ARE,R_9_4_THE_SOURCES,R_9_23_AND,R_9_26_CUSTOM,R_9_24_SECONDARILY,R_9_2_CIVIL_LAW,R_9_19_ENACTED,R_9_21_GOVERNMENTS,Z_9_A_FACTBOOK_2_2010_39,R_9_11_LEGISLATION,R_9_10_PRINCIPALLY,R_9_14_CODIFICATIONS,R_9_13_ESPECIALLY,R_9_17_OR,R_9_16_CONSTITUTIONS,R_9_18_STATUTES] :
      ( authoritative(R_9_8_AUTHORITATIVE)
      & the_sources(R_9_4_THE_SOURCES)
      & secondarily(R_9_24_SECONDARILY)
      & civil_law(R_9_2_CIVIL_LAW)
      & governments(R_9_21_GOVERNMENTS)
      & principally(R_9_10_PRINCIPALLY)
      & especially(R_9_13_ESPECIALLY)
      & constitutions(R_9_16_CONSTITUTIONS)
      & statutes(R_9_18_STATUTES)
      & recognized(R_9_6_RECOGNIZED,Z_9_A_FACTBOOK_2_2010_16,R_9_4_THE_SOURCES,Z_9_A_FACTBOOK_2_2010_23)
      & z_9_a_factbook_2_2010_23(Z_9_A_FACTBOOK_2_2010_23)
      & attrib24(Z_9_A_FACTBOOK_2_2010_23,R_9_8_AUTHORITATIVE)
      & are(R_9_9_ARE,R_9_4_THE_SOURCES,R_9_23_AND)
      & and(R_9_23_AND)
      & conj1(R_9_23_AND,R_9_11_LEGISLATION)
      & legislation(R_9_11_LEGISLATION)
      & qual32(R_9_11_LEGISLATION,R_9_10_PRINCIPALLY)
      & conj2(R_9_23_AND,R_9_26_CUSTOM)
      & custom(R_9_26_CUSTOM)
      & qual75(R_9_26_CUSTOM,R_9_24_SECONDARILY)
      & in_nim5(R_9_9_ARE,R_9_2_CIVIL_LAW)
      & enacted(R_9_19_ENACTED,R_9_21_GOVERNMENTS,R_9_17_OR)
      & or(R_9_17_OR)
      & conj1(R_9_17_OR,R_9_16_CONSTITUTIONS)
      & conj2(R_9_17_OR,R_9_18_STATUTES)
      & z_9_a_factbook_2_2010_39(Z_9_A_FACTBOOK_2_2010_39,R_9_11_LEGISLATION,R_9_14_CODIFICATIONS)
      & codifications(R_9_14_CODIFICATIONS)
      & qual41(R_9_14_CODIFICATIONS,R_9_13_ESPECIALLY)
      & in(R_9_14_CODIFICATIONS,R_9_17_OR) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE In;{in})
                      (NP (N civil;{civil})
                          (N law;{law})))
          (NP-SBJ (D the;{the})
                  (NS sources;{source})
                  (IP-PPL (NP-LGS *)
                          (VVN;_Cn.n/a_ recognized;{recognize[as]})
                          (PP-PRD (P-ROLE as;{as})
                                  (NP (ADJP (ADJ authoritative;{authoritative}))))))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NLYR (NLYR (ADVP (ADV principally;{principally}))
                              (N legislation;{legislation})
                              (PUNC <hyphen>)
                              (IP-PPL (NP-PRD (ADVP (ADV especially;{especially}))
                                              (NS codifications;{codification})
                                              (PP (P-ROLE in;{in})
                                                  (NP (NLYR (NLYR (NS constitutions;{constitution}))
                                                            (CONJP (CONJ or;{or})
                                                                   (NLYR (NS statutes;{statute}))))
                                                      (IP-PPL (VVN;_Tn_ enacted;{enact})
                                                              (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                      (NP (NS governments;{government}))))))))
                              (PUNC <hyphen>))
                        (CONJP (CONJ and;{and})
                               (NLYR (ADVP (ADV secondarily;{secondarily}))
                                     (PUNC ,)
                                     (N custom;{custom})))))
          (PUNC .))
  (ID 9_a_factbook_2_2010))