arc(r_0020_0001__There_r_0020_0002__is, r_0020_0005__history, arg0).
arc(r_0020_0003__no_quant, r_0020_0001__There_r_0020_0002__is, scope).
arc(r_0020_0003__no_quant, r_0020_0005__history, restriction).
arc(r_0020_0005__history, r_0020_0004__single, attrib9).
arc(r_0020_0005__history, r_0020_0008__law, r_0020_0006__of).
arc(r_0020_0005__history, r_0020_0010__that, r_0020_0009__such_as).
arc(r_0020_0008__law, r_0020_0007__customary, attrib18).
arc(r_0020_0011__found, r_0020_0010__that, arg1).
arc(r_0020_0011__found, r_0020_0024__or, r_0020_0012__in_clr37).
arc(r_0020_0011__found, z_000_20_a_factbook_2_2010_30, arg0).
arc(r_0020_0015__law, r_0020_0013__Roman, attrib40).
arc(r_0020_0015__law, r_0020_0014__civil, attrib43).
arc(r_0020_0019__law, r_0020_0017__English, attrib52).
arc(r_0020_0019__law, r_0020_0018__common, attrib55).
arc(r_0020_0022__law, r_0020_0021__Islamic, attrib64).
arc(r_0020_0024__or, r_0020_0015__law, conj1).
arc(r_0020_0024__or, r_0020_0019__law, conj2).
arc(r_0020_0024__or, r_0020_0022__law, conj3).
arc(r_0020_0024__or, r_0020_0025__the_r_0020_0026__Napoleonic_r_0020_0027__Civil_r_0020_0028__Code, conj4).

fof(formula,axiom,
    ? [R_0020_0010__THAT,R_0020_0013__ROMAN,R_0020_0014__CIVIL,R_0020_0015__LAW,R_0020_0017__ENGLISH,R_0020_0018__COMMON,R_0020_0019__LAW,R_0020_0021__ISLAMIC,R_0020_0022__LAW,R_0020_0025__THE_R_0020_0026__NAPOLEONIC_R_0020_0027__CIVIL_R_0020_0028__CODE,R_0020_0024__OR,Z_000_20_A_FACTBOOK_2_2010_30,R_0020_0011__FOUND] :
      ( r_0020_0010__that(R_0020_0010__THAT)
      & r_0020_0013__Roman(R_0020_0013__ROMAN)
      & r_0020_0014__civil(R_0020_0014__CIVIL)
      & r_0020_0017__English(R_0020_0017__ENGLISH)
      & r_0020_0018__common(R_0020_0018__COMMON)
      & r_0020_0021__Islamic(R_0020_0021__ISLAMIC)
      & r_0020_0025__the_r_0020_0026__Napoleonic_r_0020_0027__Civil_r_0020_0028__Code(R_0020_0025__THE_R_0020_0026__NAPOLEONIC_R_0020_0027__CIVIL_R_0020_0028__CODE)
      & z_000_20_a_factbook_2_2010_30(Z_000_20_A_FACTBOOK_2_2010_30)
      & r_0020_0011__found(R_0020_0011__FOUND)
      & has_arg0(R_0020_0011__FOUND,Z_000_20_A_FACTBOOK_2_2010_30)
      & has_r_0020_0012__in_clr37(R_0020_0011__FOUND,R_0020_0024__OR)
      & r_0020_0024__or(R_0020_0024__OR)
      & has_conj4(R_0020_0024__OR,R_0020_0025__THE_R_0020_0026__NAPOLEONIC_R_0020_0027__CIVIL_R_0020_0028__CODE)
      & has_conj3(R_0020_0024__OR,R_0020_0022__LAW)
      & r_0020_0022__law(R_0020_0022__LAW)
      & has_attrib64(R_0020_0022__LAW,R_0020_0021__ISLAMIC)
      & has_conj2(R_0020_0024__OR,R_0020_0019__LAW)
      & r_0020_0019__law(R_0020_0019__LAW)
      & has_attrib55(R_0020_0019__LAW,R_0020_0018__COMMON)
      & has_attrib52(R_0020_0019__LAW,R_0020_0017__ENGLISH)
      & has_conj1(R_0020_0024__OR,R_0020_0015__LAW)
      & r_0020_0015__law(R_0020_0015__LAW)
      & has_attrib43(R_0020_0015__LAW,R_0020_0014__CIVIL)
      & has_attrib40(R_0020_0015__LAW,R_0020_0013__ROMAN)
      & has_arg1(R_0020_0011__FOUND,R_0020_0010__THAT)
      & ! [R_0020_0005__HISTORY,R_0020_0004__SINGLE,R_0020_0007__CUSTOMARY,R_0020_0008__LAW] :
          ( ( r_0020_0004__single(R_0020_0004__SINGLE)
            & r_0020_0007__customary(R_0020_0007__CUSTOMARY)
            & r_0020_0005__history(R_0020_0005__HISTORY)
            & has_r_0020_0009__such_as(R_0020_0005__HISTORY,R_0020_0010__THAT)
            & has_r_0020_0006__of(R_0020_0005__HISTORY,R_0020_0008__LAW)
            & r_0020_0008__law(R_0020_0008__LAW)
            & has_attrib18(R_0020_0008__LAW,R_0020_0007__CUSTOMARY)
            & has_attrib9(R_0020_0005__HISTORY,R_0020_0004__SINGLE) )
         => ? [R_0020_0001__THERE_R_0020_0002__IS] :
              ( r_0020_0001__There_r_0020_0002__is(R_0020_0001__THERE_R_0020_0002__IS)
              & has_arg0(R_0020_0001__THERE_R_0020_0002__IS,R_0020_0005__HISTORY) ) ) ) ).

( (IP-MAT (EX There;{there})
          (BEP;_ex_V_ is;{be})
          (NP-ESBJ (Q no;{no})
                   (ADJP (ADJ single;{single}))
                   (N history;{history})
                   (PP (P-ROLE of;{of})
                       (NP (ADJP (ADJ customary;{customary}))
                           (N law;{law})))
                   (PP (P-ROLE such_as;{such_as})
                       (NP (D;_nphd_ that;{that})
                           (IP-PPL (NP-LGS *)
                                   (VVN;_Tn.pr_ found;{find[in]})
                                   (PP-CLR (P-ROLE in;{in})
                                           (NP (NLYR (NLYR (ADJP (ADJ Roman;{roman}))
                                                           (ADJP (ADJ civil;{civil}))
                                                           (N law;{law}))
                                                     (PUNC ,)
                                                     (CONJP (NLYR (ADJP (ADJ English;{english}))
                                                                  (ADJP (ADJ common;{common}))
                                                                  (N law;{law})))
                                                     (PUNC ,)
                                                     (CONJP (NLYR (ADJP (ADJ Islamic;{islamic}))
                                                                  (N law;{law})))
                                                     (PUNC ,)
                                                     (CONJP (CONJ or;{or})
                                                            (NLYR (D the;{the})
                                                                  (NPR Napoleonic;{Napoleonic})
                                                                  (NPR Civil;{Civil})
                                                                  (NPR Code;{Code}))))))))))
          (PUNC .))
  (ID 20_a_factbook_2_2010))