arc(r_0014_0002__the_r_0014_0003__time, r_0014_0006__reign, r_0014_0004__of).
arc(r_0014_0006__reign, r_0014_0005__his, gen).
arc(r_0014_0008__laws, r_0014_0009__customary, attrib24).
arc(r_0014_0009__customary, r_0014_0020__jurisdictions, r_0014_0010__among).
arc(r_0014_0015__and, r_0014_0014__manorial, conj1).
arc(r_0014_0015__and, z_000_14_a_factbook_2_2010_48, conj2).
arc(r_0014_0020__jurisdictions, r_0014_0011__England_r_0014_0012___apos_s, gen).
arc(r_0014_0020__jurisdictions, r_0014_0013__various, attrib36).
arc(r_0014_0021__were, r_0014_0002__the_r_0014_0003__time, r_0014_0001__Until_nim5).
arc(r_0014_0021__were, r_0014_0022__administered, scope).
arc(r_0014_0022__administered, r_0014_0008__laws, arg1).
arc(r_0014_0022__administered, r_0014_0023__locally, nim69).
arc(r_0014_0022__administered, z_000_14_a_factbook_2_2010_65, arg0).
arc(z_000_14_a_factbook_2_2010_39, r_0014_0015__and, prd).
arc(z_000_14_a_factbook_2_2010_39, r_0014_0020__jurisdictions, arg0).
arc(z_000_14_a_factbook_2_2010_48, r_0014_0016__ecclesiastical, attrib49).
arc(z_000_14_a_factbook_2_2010_54, r_0014_0018__church, prd).
arc(z_000_14_a_factbook_2_2010_54, z_000_14_a_factbook_2_2010_48, arg0).

fof(formula,axiom,
    ? [R_0014_0005__HIS,R_0014_0006__REIGN,R_0014_0002__THE_R_0014_0003__TIME,R_0014_0011__ENGLAND_R_0014_0012___APOS_S,R_0014_0013__VARIOUS,R_0014_0020__JURISDICTIONS,R_0014_0009__CUSTOMARY,R_0014_0008__LAWS,R_0014_0023__LOCALLY,Z_000_14_A_FACTBOOK_2_2010_65,R_0014_0021__WERE_R_0014_0022__ADMINISTERED,R_0014_0014__MANORIAL,R_0014_0016__ECCLESIASTICAL,Z_000_14_A_FACTBOOK_2_2010_48,R_0014_0015__AND,Z_000_14_A_FACTBOOK_2_2010_39,R_0014_0018__CHURCH,Z_000_14_A_FACTBOOK_2_2010_54] :
      ( r_0014_0005__his(R_0014_0005__HIS)
      & r_0014_0011__England_r_0014_0012___apos_s(R_0014_0011__ENGLAND_R_0014_0012___APOS_S)
      & r_0014_0013__various(R_0014_0013__VARIOUS)
      & r_0014_0014__manorial(R_0014_0014__MANORIAL)
      & r_0014_0016__ecclesiastical(R_0014_0016__ECCLESIASTICAL)
      & r_0014_0018__church(R_0014_0018__CHURCH)
      & r_0014_0023__locally(R_0014_0023__LOCALLY)
      & z_000_14_a_factbook_2_2010_65(Z_000_14_A_FACTBOOK_2_2010_65)
      & z_000_14_a_factbook_2_2010_54(Z_000_14_A_FACTBOOK_2_2010_54)
      & has_arg0(Z_000_14_A_FACTBOOK_2_2010_54,Z_000_14_A_FACTBOOK_2_2010_48)
      & z_000_14_a_factbook_2_2010_48(Z_000_14_A_FACTBOOK_2_2010_48)
      & has_attrib49(Z_000_14_A_FACTBOOK_2_2010_48,R_0014_0016__ECCLESIASTICAL)
      & has_prd(Z_000_14_A_FACTBOOK_2_2010_54,R_0014_0018__CHURCH)
      & z_000_14_a_factbook_2_2010_39(Z_000_14_A_FACTBOOK_2_2010_39)
      & has_arg0(Z_000_14_A_FACTBOOK_2_2010_39,R_0014_0020__JURISDICTIONS)
      & r_0014_0020__jurisdictions(R_0014_0020__JURISDICTIONS)
      & has_attrib36(R_0014_0020__JURISDICTIONS,R_0014_0013__VARIOUS)
      & has_gen(R_0014_0020__JURISDICTIONS,R_0014_0011__ENGLAND_R_0014_0012___APOS_S)
      & has_prd(Z_000_14_A_FACTBOOK_2_2010_39,R_0014_0015__AND)
      & r_0014_0015__and(R_0014_0015__AND)
      & has_conj2(R_0014_0015__AND,Z_000_14_A_FACTBOOK_2_2010_48)
      & has_conj1(R_0014_0015__AND,R_0014_0014__MANORIAL)
      & r_0014_0021__were_r_0014_0022__administered(R_0014_0021__WERE_R_0014_0022__ADMINISTERED)
      & has_arg0(R_0014_0021__WERE_R_0014_0022__ADMINISTERED,Z_000_14_A_FACTBOOK_2_2010_65)
      & has_nim69(R_0014_0021__WERE_R_0014_0022__ADMINISTERED,R_0014_0023__LOCALLY)
      & has_arg1(R_0014_0021__WERE_R_0014_0022__ADMINISTERED,R_0014_0008__LAWS)
      & r_0014_0008__laws(R_0014_0008__LAWS)
      & has_attrib24(R_0014_0008__LAWS,R_0014_0009__CUSTOMARY)
      & r_0014_0009__customary(R_0014_0009__CUSTOMARY)
      & has_r_0014_0010__among(R_0014_0009__CUSTOMARY,R_0014_0020__JURISDICTIONS)
      & has_r_0014_0001__Until_nim5(R_0014_0021__WERE_R_0014_0022__ADMINISTERED,R_0014_0002__THE_R_0014_0003__TIME)
      & r_0014_0002__the_r_0014_0003__time(R_0014_0002__THE_R_0014_0003__TIME)
      & has_r_0014_0004__of(R_0014_0002__THE_R_0014_0003__TIME,R_0014_0006__REIGN)
      & r_0014_0006__reign(R_0014_0006__REIGN)
      & has_gen(R_0014_0006__REIGN,R_0014_0005__HIS) ) ).

( (IP-MAT (PP-NIM (P-ROLE Until;{until})
                  (NP (D the;{the})
                      (N time;{time})
                      (PP (P-ROLE of;{of})
                          (NP (NP-GEN;{HENRY_II} (PRO;_genm_ his;{his}))
                              (N reign;{reign})))))
          (PUNC ,)
          (NP-SBJ (NS laws;{law})
                  (ADJP (ADJ customary;{customary})
                        (PP (P-ROLE among;{among})
                            (NP (NP-GEN (NPR England;{England})
                                        (GENM <apos>s))
                                (ADJP (ADJ various;{various}))
                                (IP-PPL (NP-PRD (NLYR (NLYR (N manorial;{manorial}))
                                                      (CONJP (CONJ and;{and})
                                                             (NLYR (ADJP (ADJ ecclesiastical;{ecclesiastical}))
                                                                   (PULB -LRB-)
                                                                   (IP-PPL (NP-PRD (N church;{church})))
                                                                   (PURB -RRB-))))))
                                (NS jurisdictions;{jurisdiction})))))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ administered;{administer})
                      (ADVP-NIM (ADV locally;{locally})))
          (PUNC .))
  (ID 14_a_factbook_2_2010))