arc(r_0007_0002__referred, r_0007_0001__Also, nim6).
arc(r_0007_0002__referred, r_0007_0007__law, prd).
arc(r_0007_0002__referred, r_0007_0009__the_r_0007_0011__law_r_0007_0012__system, arg1).
arc(r_0007_0002__referred, z_000_7_a_factbook_2_2010_4, arg0).
arc(r_0007_0007__law, r_0007_0005__European, attrib18).
arc(r_0007_0007__law, r_0007_0006__continental, attrib21).
arc(r_0007_0009__the_r_0007_0011__law_r_0007_0012__system, r_0007_0010__civil, attrib31).
arc(r_0007_0013__is, r_0007_0014__derived, scope).
arc(r_0007_0014__derived, r_0007_0009__the_r_0007_0011__law_r_0007_0012__system, arg1).
arc(r_0007_0014__derived, r_0007_0015__mainly, nim45).
arc(r_0007_0014__derived, r_0007_0017__the_r_0007_0018__Roman_r_0007_0019__Corpus_r_0007_0020__Juris_r_0007_0021__Civilus, r_0007_0016__from_clr51).
arc(r_0007_0014__derived, z_000_7_a_factbook_2_2010_41, arg0).
arc(r_0007_0024__Body, r_0007_0026__Civil_r_0007_0027__Law, r_0007_0025__of).
arc(r_0007_0030__a_r_0007_0031__collection, r_0007_0034__and, r_0007_0032__of).
arc(r_0007_0034__and, r_0007_0033__laws, conj1).
arc(r_0007_0034__and, r_0007_0036__interpretations, conj2).
arc(r_0007_0036__interpretations, r_0007_0035__legal, attrib100).
arc(r_0007_0037__compiled, r_0007_0034__and, arg1).
arc(r_0007_0037__compiled, r_0007_0046__Justinian_r_0007_0047__I, r_0007_0038__under_nim113).
arc(r_0007_0037__compiled, r_0007_0051__and, r_0007_0048__between_nim139).
arc(r_0007_0037__compiled, z_000_7_a_factbook_2_2010_106, arg0).
arc(r_0007_0051__and, r_0007_0049__A_dot_D_dot_, qual140).
arc(r_0007_0051__and, r_0007_0050__528, conj1).
arc(r_0007_0051__and, r_0007_0052__565, conj2).
arc(z_000_7_a_factbook_2_2010_114, r_0007_0039__the_r_0007_0040__East_r_0007_0041__Roman_r_0007_0045__Emperor, prd).
arc(z_000_7_a_factbook_2_2010_114, r_0007_0046__Justinian_r_0007_0047__I, arg0).
arc(z_000_7_a_factbook_2_2010_124, r_0007_0039__the_r_0007_0040__East_r_0007_0041__Roman_r_0007_0045__Emperor, arg0).
arc(z_000_7_a_factbook_2_2010_124, r_0007_0043__Byzantine, prd).
arc(z_000_7_a_factbook_2_2010_2, r_0007_0002__referred, restriction).
arc(z_000_7_a_factbook_2_2010_2, r_0007_0013__is, scope).
arc(z_000_7_a_factbook_2_2010_66, r_0007_0017__the_r_0007_0018__Roman_r_0007_0019__Corpus_r_0007_0020__Juris_r_0007_0021__Civilus, arg0).
arc(z_000_7_a_factbook_2_2010_66, r_0007_0024__Body, prd).
arc(z_000_7_a_factbook_2_2010_82, r_0007_0017__the_r_0007_0018__Roman_r_0007_0019__Corpus_r_0007_0020__Juris_r_0007_0021__Civilus, arg0).
arc(z_000_7_a_factbook_2_2010_82, r_0007_0030__a_r_0007_0031__collection, prd).

fof(formula,axiom,
    ? [R_7_37_COMPILED,Z_7_A_FACTBOOK_2_2010_106,R_7_51_AND,R_7_50_528,R_7_52_565,R_7_49_A_DOT_D_DOT_,Z_7_A_FACTBOOK_2_2010_114,R_7_46_JUSTINIAN_I,Z_7_A_FACTBOOK_2_2010_124,R_7_39_THE_EAST_ROMAN_EMPEROR,R_7_43_BYZANTINE,Z_7_A_FACTBOOK_2_2010_2,R_7_2_REFERRED,Z_7_A_FACTBOOK_2_2010_4,R_7_1_ALSO,R_7_7_LAW,R_7_5_EUROPEAN,R_7_6_CONTINENTAL,R_7_13_IS_DERIVED,Z_7_A_FACTBOOK_2_2010_41,R_7_9_THE_LAW_SYSTEM,R_7_10_CIVIL,R_7_15_MAINLY,Z_7_A_FACTBOOK_2_2010_66,R_7_24_BODY,R_7_26_CIVIL_LAW,Z_7_A_FACTBOOK_2_2010_82,R_7_17_THE_ROMAN_CORPUS_JURIS_CIVILUS,R_7_30_A_COLLECTION,R_7_34_AND,R_7_33_LAWS,R_7_36_INTERPRETATIONS,R_7_35_LEGAL] :
      ( 528(R_7_50_528)
      & 565(R_7_52_565)
      & a_dot_D_dot_(R_7_49_A_DOT_D_DOT_)
      & justinian_I(R_7_46_JUSTINIAN_I)
      & the_East_Roman_Emperor(R_7_39_THE_EAST_ROMAN_EMPEROR)
      & byzantine(R_7_43_BYZANTINE)
      & also(R_7_1_ALSO)
      & european(R_7_5_EUROPEAN)
      & continental(R_7_6_CONTINENTAL)
      & civil(R_7_10_CIVIL)
      & mainly(R_7_15_MAINLY)
      & civil_Law(R_7_26_CIVIL_LAW)
      & the_Roman_Corpus_Juris_Civilus(R_7_17_THE_ROMAN_CORPUS_JURIS_CIVILUS)
      & laws(R_7_33_LAWS)
      & legal(R_7_35_LEGAL)
      & compiled(R_7_37_COMPILED,Z_7_A_FACTBOOK_2_2010_106,R_7_34_AND)
      & and(R_7_34_AND)
      & conj1(R_7_34_AND,R_7_33_LAWS)
      & conj2(R_7_34_AND,R_7_36_INTERPRETATIONS)
      & interpretations(R_7_36_INTERPRETATIONS)
      & attrib100(R_7_36_INTERPRETATIONS,R_7_35_LEGAL)
      & under_nim113(R_7_37_COMPILED,R_7_46_JUSTINIAN_I)
      & between_nim139(R_7_37_COMPILED,R_7_51_AND)
      & and(R_7_51_AND)
      & conj1(R_7_51_AND,R_7_50_528)
      & conj2(R_7_51_AND,R_7_52_565)
      & qual140(R_7_51_AND,R_7_49_A_DOT_D_DOT_)
      & z_7_a_factbook_2_2010_114(Z_7_A_FACTBOOK_2_2010_114,R_7_46_JUSTINIAN_I,R_7_39_THE_EAST_ROMAN_EMPEROR)
      & z_7_a_factbook_2_2010_124(Z_7_A_FACTBOOK_2_2010_124,R_7_39_THE_EAST_ROMAN_EMPEROR,R_7_43_BYZANTINE)
      & z_7_a_factbook_2_2010_2(Z_7_A_FACTBOOK_2_2010_2)
      & conj1(Z_7_A_FACTBOOK_2_2010_2,R_7_2_REFERRED)
      & referred(R_7_2_REFERRED,Z_7_A_FACTBOOK_2_2010_4,R_7_9_THE_LAW_SYSTEM,R_7_7_LAW)
      & the_law_system(R_7_9_THE_LAW_SYSTEM)
      & attrib31(R_7_9_THE_LAW_SYSTEM,R_7_10_CIVIL)
      & law(R_7_7_LAW)
      & attrib18(R_7_7_LAW,R_7_5_EUROPEAN)
      & attrib21(R_7_7_LAW,R_7_6_CONTINENTAL)
      & nim6(R_7_2_REFERRED,R_7_1_ALSO)
      & conj2(Z_7_A_FACTBOOK_2_2010_2,R_7_13_IS_DERIVED)
      & is_derived(R_7_13_IS_DERIVED,Z_7_A_FACTBOOK_2_2010_41,R_7_9_THE_LAW_SYSTEM)
      & nim45(R_7_13_IS_DERIVED,R_7_15_MAINLY)
      & from_clr51(R_7_13_IS_DERIVED,R_7_17_THE_ROMAN_CORPUS_JURIS_CIVILUS)
      & z_7_a_factbook_2_2010_66(Z_7_A_FACTBOOK_2_2010_66,R_7_17_THE_ROMAN_CORPUS_JURIS_CIVILUS,R_7_24_BODY)
      & body(R_7_24_BODY)
      & of(R_7_24_BODY,R_7_26_CIVIL_LAW)
      & z_7_a_factbook_2_2010_82(Z_7_A_FACTBOOK_2_2010_82,R_7_17_THE_ROMAN_CORPUS_JURIS_CIVILUS,R_7_30_A_COLLECTION)
      & a_collection(R_7_30_A_COLLECTION)
      & of(R_7_30_A_COLLECTION,R_7_34_AND) ) ).

( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
                            (ADVP-NIM (ADV Also;{also}))
                            (VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
                            (PP-CLR (P-ROLE to;{to}))
                            (PP-PRD (P-ROLE as;{as})
                                    (NP (ADJP (ADJ European;{european}))
                                        (ADJP (ADJ continental;{continental}))
                                        (N law;{law})))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ civil;{civil}))
                  (N law;{law})
                  (N system;{system}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ derived;{derive[from]})
                      (ADVP-NIM (ADV mainly;{mainly}))
                      (PP-CLR (P-ROLE from;{from})
                              (NP (D the;{the})
                                  (NPR Roman;{Roman})
                                  (NPR Corpus;{Corpus})
                                  (NPR Juris;{Juris})
                                  (NPR Civilus;{Civilus})
                                  (PUNC ,)
                                  (PULB -LRB-)
                                  (IP-PPL (NP-PRD (N Body;{body})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (N Civil;{civil})
                                                          (N Law;{law})))))
                                  (PURB -RRB-)
                                  (PUNC ,)
                                  (IP-PPL (NP-PRD (D a;{a})
                                                  (N collection;{collection})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NLYR (NLYR (NS laws;{law}))
                                                                (CONJP (CONJ and;{and})
                                                                       (NLYR (ADJP (ADJ legal;{legal}))
                                                                             (NS interpretations;{interpretation}))))
                                                          (IP-PPL (NP-LGS *)
                                                                  (VVN;_Tn_ compiled;{compile})
                                                                  (PP-NIM (P-ROLE under;{under})
                                                                          (NP (IP-PPL (NP-PRD (D the;{the})
                                                                                              (N East;{east})
                                                                                              (N Roman;{roman})
                                                                                              (PULB -LRB-)
                                                                                              (IP-PPL (NP-PRD (NPR Byzantine;{Byzantine})))
                                                                                              (PURB -RRB-)
                                                                                              (N Emperor;{emperor})))
                                                                              (NPR Justinian;{Justinian})
                                                                              (NPR I;{I})))
                                                                  (PP-NIM (P-ROLE between;{between})
                                                                          (NP (ADVP (ADV A<dot>D<dot>))
                                                                              (NLYR (NLYR (NUM 528))
                                                                                    (CONJP (CONJ and;{and})
                                                                                           (NLYR (NUM 565))))))))))))))
          (PUNC .))
  (ID 7_a_factbook_2_2010))