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_0009_0004__THE_R_0009_0005__SOURCES,Z_000_9_A_FACTBOOK_2_2010_16,R_0009_0008__AUTHORITATIVE,Z_000_9_A_FACTBOOK_2_2010_23,R_0009_0006__RECOGNIZED,R_0009_0002__CIVIL_R_0009_0003__LAW,R_0009_0010__PRINCIPALLY,R_0009_0011__LEGISLATION,R_0009_0024__SECONDARILY,R_0009_0026__CUSTOM,R_0009_0023__AND,R_0009_0009__ARE,R_0009_0016__CONSTITUTIONS,R_0009_0018__STATUTES,R_0009_0017__OR,R_0009_0021__GOVERNMENTS,R_0009_0019__ENACTED,R_0009_0013__ESPECIALLY,R_0009_0014__CODIFICATIONS,Z_000_9_A_FACTBOOK_2_2010_39] :
      ( r_0009_0002__civil_r_0009_0003__law(R_0009_0002__CIVIL_R_0009_0003__LAW)
      & r_0009_0004__the_r_0009_0005__sources(R_0009_0004__THE_R_0009_0005__SOURCES)
      & r_0009_0008__authoritative(R_0009_0008__AUTHORITATIVE)
      & r_0009_0010__principally(R_0009_0010__PRINCIPALLY)
      & r_0009_0013__especially(R_0009_0013__ESPECIALLY)
      & r_0009_0016__constitutions(R_0009_0016__CONSTITUTIONS)
      & r_0009_0018__statutes(R_0009_0018__STATUTES)
      & r_0009_0021__governments(R_0009_0021__GOVERNMENTS)
      & r_0009_0024__secondarily(R_0009_0024__SECONDARILY)
      & z_000_9_a_factbook_2_2010_16(Z_000_9_A_FACTBOOK_2_2010_16)
      & z_000_9_a_factbook_2_2010_39(Z_000_9_A_FACTBOOK_2_2010_39)
      & has_prd(Z_000_9_A_FACTBOOK_2_2010_39,R_0009_0014__CODIFICATIONS)
      & r_0009_0014__codifications(R_0009_0014__CODIFICATIONS)
      & has_r_0009_0015__in(R_0009_0014__CODIFICATIONS,R_0009_0017__OR)
      & r_0009_0017__or(R_0009_0017__OR)
      & has_conj2(R_0009_0017__OR,R_0009_0018__STATUTES)
      & has_conj1(R_0009_0017__OR,R_0009_0016__CONSTITUTIONS)
      & has_qual41(R_0009_0014__CODIFICATIONS,R_0009_0013__ESPECIALLY)
      & has_arg0(Z_000_9_A_FACTBOOK_2_2010_39,R_0009_0011__LEGISLATION)
      & r_0009_0011__legislation(R_0009_0011__LEGISLATION)
      & has_qual32(R_0009_0011__LEGISLATION,R_0009_0010__PRINCIPALLY)
      & r_0009_0019__enacted(R_0009_0019__ENACTED)
      & has_arg0(R_0009_0019__ENACTED,R_0009_0021__GOVERNMENTS)
      & has_arg1(R_0009_0019__ENACTED,R_0009_0017__OR)
      & r_0009_0009__are(R_0009_0009__ARE)
      & has_prd(R_0009_0009__ARE,R_0009_0023__AND)
      & r_0009_0023__and(R_0009_0023__AND)
      & has_conj2(R_0009_0023__AND,R_0009_0026__CUSTOM)
      & r_0009_0026__custom(R_0009_0026__CUSTOM)
      & has_qual75(R_0009_0026__CUSTOM,R_0009_0024__SECONDARILY)
      & has_conj1(R_0009_0023__AND,R_0009_0011__LEGISLATION)
      & has_arg0(R_0009_0009__ARE,R_0009_0004__THE_R_0009_0005__SOURCES)
      & has_r_0009_0001__In_nim5(R_0009_0009__ARE,R_0009_0002__CIVIL_R_0009_0003__LAW)
      & r_0009_0006__recognized(R_0009_0006__RECOGNIZED)
      & has_prd(R_0009_0006__RECOGNIZED,Z_000_9_A_FACTBOOK_2_2010_23)
      & z_000_9_a_factbook_2_2010_23(Z_000_9_A_FACTBOOK_2_2010_23)
      & has_attrib24(Z_000_9_A_FACTBOOK_2_2010_23,R_0009_0008__AUTHORITATIVE)
      & has_arg0(R_0009_0006__RECOGNIZED,Z_000_9_A_FACTBOOK_2_2010_16)
      & has_arg1(R_0009_0006__RECOGNIZED,R_0009_0004__THE_R_0009_0005__SOURCES) ) ).

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