( (IP-MAT (PP-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})
                                  (ADJP (ADJ authoritative;{authoritative})))))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NLYR (NLYR (ADVP (ADV principally;{principally}))
                              (N legislation;{legislation})
                              (PUNC <hyphen>)
                              (PRN (NP (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))

arc(r_0009_0006__recognized,r_0009_0004__the_r_0009_0005__sources,inv_arg1).
arc(r_0009_0006__recognized,r_0009_0008__authoritative,r_0009_0007__as__prd).
arc(r_0009_0006__recognized,z_0009_5004___star_,arg0).
arc(r_0009_0009__are,r_0009_0002__civil_r_0009_0003__law,r_0009_0001__In__nim).
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,qual).
arc(r_0009_0014__codifications,r_0009_0013__especially,qual).
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,inv_arg1).
arc(r_0009_0019__enacted,r_0009_0021__governments,r_0009_0020__by_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,qual).
arc(z_0009_5016,r_0009_0011__legislation,arg0).
arc(z_0009_5016,r_0009_0014__codifications,prd).

fof(formula,axiom,
    ? [R_0009_0002__CIVIL_R_0009_0003__LAW,R_0009_0008__AUTHORITATIVE,Z_0009_5004___STAR_,R_0009_0006__RECOGNIZED,R_0009_0004__THE_R_0009_0005__SOURCES,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_0013__ESPECIALLY,R_0009_0016__CONSTITUTIONS,R_0009_0018__STATUTES,R_0009_0021__GOVERNMENTS,R_0009_0019__ENACTED,R_0009_0017__OR,R_0009_0014__CODIFICATIONS,Z_0009_5016] :
      ( r_0009_0002__civil_r_0009_0003__law(R_0009_0002__CIVIL_R_0009_0003__LAW)
      & 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_0009_5004___star_(Z_0009_5004___STAR_)
      & z_0009_5016(Z_0009_5016)
      & has_prd(Z_0009_5016,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_inv_arg1(R_0009_0017__OR,R_0009_0019__ENACTED)
      & r_0009_0019__enacted(R_0009_0019__ENACTED)
      & has_r_0009_0020__by_arg0(R_0009_0019__ENACTED,R_0009_0021__GOVERNMENTS)
      & has_conj2(R_0009_0017__OR,R_0009_0018__STATUTES)
      & has_conj1(R_0009_0017__OR,R_0009_0016__CONSTITUTIONS)
      & has_qual(R_0009_0014__CODIFICATIONS,R_0009_0013__ESPECIALLY)
      & has_arg0(Z_0009_5016,R_0009_0011__LEGISLATION)
      & r_0009_0011__legislation(R_0009_0011__LEGISLATION)
      & has_qual(R_0009_0011__LEGISLATION,R_0009_0010__PRINCIPALLY)
      & 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_qual(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)
      & r_0009_0004__the_r_0009_0005__sources(R_0009_0004__THE_R_0009_0005__SOURCES)
      & has_inv_arg1(R_0009_0004__THE_R_0009_0005__SOURCES,R_0009_0006__RECOGNIZED)
      & r_0009_0006__recognized(R_0009_0006__RECOGNIZED)
      & has_arg0(R_0009_0006__RECOGNIZED,Z_0009_5004___STAR_)
      & has_r_0009_0007__as__prd(R_0009_0006__RECOGNIZED,R_0009_0008__AUTHORITATIVE)
      & has_r_0009_0001__In__nim(R_0009_0009__ARE,R_0009_0002__CIVIL_R_0009_0003__LAW) ) ).