( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Early;{early}))
                              (ADJP (ADJ Roman;{roman}))
                              (N law;{law}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ drawn;{draw})
                                  (PP-NIM (P-ROLE from;{from})
                                          (NP (NLYR (NLYR (N custom;{custom}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NS statutes;{statute}))))))))
                (PUNC ;)
                (CONJP (ILYR (ADVP-NIM (ADV later;{later}))
                             (PUNC ,)
                             (PP-NIM (P-ROLE during;{during})
                                     (NP (D the;{the})
                                         (N time;{time})
                                         (PP (P-ROLE of;{of})
                                             (NP (D the;{the})
                                                 (N empire;{empire})))))
                             (PUNC ,)
                             (NP-SBJ;{EMPERORS} (NS emperors;{emperor}))
                             (VBD;__ asserted;{assert})
                             (NP-OB1 (NP-GEN;{EMPERORS} (PRO;_genm_ their;{their}))
                                     (N authority;{authority}))
                             (PP-PRD (P-ROLE as;{as})
                                     (NP (D the;{the})
                                         (ADJP (ADJ ultimate;{ultimate}))
                                         (N source;{source})
                                         (PP (P-ROLE of;{of})
                                             (NP (N law;{law}))))))))
          (PUNC .))
  (ID 77_a_factbook_2_2010))

arc(r_0077_0003__law,r_0077_0001__Early,attrib).
arc(r_0077_0003__law,r_0077_0002__Roman,attrib).
arc(r_0077_0004__was,r_0077_0005__drawn,scope).
arc(r_0077_0005__drawn,r_0077_0003__law,arg1).
arc(r_0077_0005__drawn,r_0077_0008__and,r_0077_0006__from__nim).
arc(r_0077_0005__drawn,z_0077_5009___star_,arg0).
arc(r_0077_0008__and,r_0077_0007__custom,conj1).
arc(r_0077_0008__and,r_0077_0009__statutes,conj2).
arc(r_0077_0014__the_r_0077_0015__time,r_0077_0017__the_r_0077_0018__empire,r_0077_0016__of).
arc(r_0077_0021__asserted,r_0077_0011__later,nim).
arc(r_0077_0021__asserted,r_0077_0014__the_r_0077_0015__time,r_0077_0013__during__nim).
arc(r_0077_0021__asserted,r_0077_0020__emperors,arg0).
arc(r_0077_0021__asserted,r_0077_0023__authority,arg1).
arc(r_0077_0021__asserted,r_0077_0025__the_r_0077_0027__source,r_0077_0024__as__prd).
arc(r_0077_0023__authority,r_0077_0020__emperors,gen).
arc(r_0077_0025__the_r_0077_0027__source,r_0077_0026__ultimate,attrib).
arc(r_0077_0025__the_r_0077_0027__source,r_0077_0029__law,r_0077_0028__of).
arc(z_0077_5001,r_0077_0004__was,conj1).
arc(z_0077_5001,r_0077_0021__asserted,conj2).

fof(formula,axiom,
    ? [R_0077_0001__EARLY,R_0077_0002__ROMAN,R_0077_0003__LAW,R_0077_0007__CUSTOM,R_0077_0009__STATUTES,R_0077_0008__AND,Z_0077_5009___STAR_,R_0077_0004__WAS_R_0077_0005__DRAWN,R_0077_0011__LATER,R_0077_0017__THE_R_0077_0018__EMPIRE,R_0077_0014__THE_R_0077_0015__TIME,R_0077_0020__EMPERORS,R_0077_0023__AUTHORITY,R_0077_0026__ULTIMATE,R_0077_0029__LAW,R_0077_0025__THE_R_0077_0027__SOURCE,R_0077_0021__ASSERTED,Z_0077_5001] :
      ( r_0077_0001__Early(R_0077_0001__EARLY)
      & r_0077_0002__Roman(R_0077_0002__ROMAN)
      & r_0077_0007__custom(R_0077_0007__CUSTOM)
      & r_0077_0009__statutes(R_0077_0009__STATUTES)
      & r_0077_0011__later(R_0077_0011__LATER)
      & r_0077_0017__the_r_0077_0018__empire(R_0077_0017__THE_R_0077_0018__EMPIRE)
      & r_0077_0020__emperors(R_0077_0020__EMPERORS)
      & r_0077_0026__ultimate(R_0077_0026__ULTIMATE)
      & r_0077_0029__law(R_0077_0029__LAW)
      & z_0077_5009___star_(Z_0077_5009___STAR_)
      & z_0077_5001(Z_0077_5001)
      & has_conj2(Z_0077_5001,R_0077_0021__ASSERTED)
      & r_0077_0021__asserted(R_0077_0021__ASSERTED)
      & has_r_0077_0024__as__prd(R_0077_0021__ASSERTED,R_0077_0025__THE_R_0077_0027__SOURCE)
      & r_0077_0025__the_r_0077_0027__source(R_0077_0025__THE_R_0077_0027__SOURCE)
      & has_r_0077_0028__of(R_0077_0025__THE_R_0077_0027__SOURCE,R_0077_0029__LAW)
      & has_attrib(R_0077_0025__THE_R_0077_0027__SOURCE,R_0077_0026__ULTIMATE)
      & has_arg1(R_0077_0021__ASSERTED,R_0077_0023__AUTHORITY)
      & r_0077_0023__authority(R_0077_0023__AUTHORITY)
      & has_gen(R_0077_0023__AUTHORITY,R_0077_0020__EMPERORS)
      & has_arg0(R_0077_0021__ASSERTED,R_0077_0020__EMPERORS)
      & has_r_0077_0013__during__nim(R_0077_0021__ASSERTED,R_0077_0014__THE_R_0077_0015__TIME)
      & r_0077_0014__the_r_0077_0015__time(R_0077_0014__THE_R_0077_0015__TIME)
      & has_r_0077_0016__of(R_0077_0014__THE_R_0077_0015__TIME,R_0077_0017__THE_R_0077_0018__EMPIRE)
      & has_nim(R_0077_0021__ASSERTED,R_0077_0011__LATER)
      & has_conj1(Z_0077_5001,R_0077_0004__WAS_R_0077_0005__DRAWN)
      & r_0077_0004__was_r_0077_0005__drawn(R_0077_0004__WAS_R_0077_0005__DRAWN)
      & has_arg0(R_0077_0004__WAS_R_0077_0005__DRAWN,Z_0077_5009___STAR_)
      & has_r_0077_0006__from__nim(R_0077_0004__WAS_R_0077_0005__DRAWN,R_0077_0008__AND)
      & r_0077_0008__and(R_0077_0008__AND)
      & has_conj2(R_0077_0008__AND,R_0077_0009__STATUTES)
      & has_conj1(R_0077_0008__AND,R_0077_0007__CUSTOM)
      & has_arg1(R_0077_0004__WAS_R_0077_0005__DRAWN,R_0077_0003__LAW)
      & r_0077_0003__law(R_0077_0003__LAW)
      & has_attrib(R_0077_0003__LAW,R_0077_0002__ROMAN)
      & has_attrib(R_0077_0003__LAW,R_0077_0001__EARLY) ) ).