TSPC 73_a_factbook_2

73_a_factbook_2_2010
Canon law regulates the internal ordering of the Roman Catholic Church, the Eastern Orthodox Church, and the Anglican Communion.

( (IP-MAT (NP-SBJ (N Canon;{canon})
                  (N law;{law}))
          (VBP;__ regulates;{regulate})
          (NP-OB1 (D the;{the})
                  (ADJP (ADJ internal;{internal}))
                  (N ordering;{ordering})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (NLYR (D the;{the})
                                      (NPR Roman;{Roman})
                                      (NPR Catholic;{Catholic})
                                      (NPR Church;{Church}))
                                (PUNC ,)
                                (CONJP (NLYR (D the;{the})
                                             (NPR Eastern;{Eastern})
                                             (NPR Orthodox;{Orthodox})
                                             (NPR Church;{Church})))
                                (PUNC ,)
                                (CONJP (CONJ and;{and})
                                       (NLYR (D the;{the})
                                             (NPR Anglican;{Anglican})
                                             (NPR Communion;{Communion})))))))
          (PUNC .))
  (ID 73_a_factbook_2_2010))

arc(r_0073_0003__regulates,r_0073_0001__Canon_r_0073_0002__law,arg0).
arc(r_0073_0003__regulates,r_0073_0004__the_r_0073_0006__ordering,arg1).
arc(r_0073_0004__the_r_0073_0006__ordering,r_0073_0005__internal,attrib).
arc(r_0073_0004__the_r_0073_0006__ordering,r_0073_0018__and,r_0073_0007__of).
arc(r_0073_0018__and,r_0073_0008__the_r_0073_0009__Roman_r_0073_0010__Catholic_r_0073_0011__Church,conj1).
arc(r_0073_0018__and,r_0073_0013__the_r_0073_0014__Eastern_r_0073_0015__Orthodox_r_0073_0016__Church,conj2).
arc(r_0073_0018__and,r_0073_0019__the_r_0073_0020__Anglican_r_0073_0021__Communion,conj3).

fof(formula,axiom,
    ? [R_0073_0001__CANON_R_0073_0002__LAW,R_0073_0005__INTERNAL,R_0073_0008__THE_R_0073_0009__ROMAN_R_0073_0010__CATHOLIC_R_0073_0011__CHURCH,R_0073_0013__THE_R_0073_0014__EASTERN_R_0073_0015__ORTHODOX_R_0073_0016__CHURCH,R_0073_0019__THE_R_0073_0020__ANGLICAN_R_0073_0021__COMMUNION,R_0073_0018__AND,R_0073_0004__THE_R_0073_0006__ORDERING,R_0073_0003__REGULATES] :
      ( r_0073_0001__Canon_r_0073_0002__law(R_0073_0001__CANON_R_0073_0002__LAW)
      & r_0073_0005__internal(R_0073_0005__INTERNAL)
      & r_0073_0008__the_r_0073_0009__Roman_r_0073_0010__Catholic_r_0073_0011__Church(R_0073_0008__THE_R_0073_0009__ROMAN_R_0073_0010__CATHOLIC_R_0073_0011__CHURCH)
      & r_0073_0013__the_r_0073_0014__Eastern_r_0073_0015__Orthodox_r_0073_0016__Church(R_0073_0013__THE_R_0073_0014__EASTERN_R_0073_0015__ORTHODOX_R_0073_0016__CHURCH)
      & r_0073_0019__the_r_0073_0020__Anglican_r_0073_0021__Communion(R_0073_0019__THE_R_0073_0020__ANGLICAN_R_0073_0021__COMMUNION)
      & r_0073_0003__regulates(R_0073_0003__REGULATES)
      & has_arg1(R_0073_0003__REGULATES,R_0073_0004__THE_R_0073_0006__ORDERING)
      & r_0073_0004__the_r_0073_0006__ordering(R_0073_0004__THE_R_0073_0006__ORDERING)
      & has_r_0073_0007__of(R_0073_0004__THE_R_0073_0006__ORDERING,R_0073_0018__AND)
      & r_0073_0018__and(R_0073_0018__AND)
      & has_conj3(R_0073_0018__AND,R_0073_0019__THE_R_0073_0020__ANGLICAN_R_0073_0021__COMMUNION)
      & has_conj2(R_0073_0018__AND,R_0073_0013__THE_R_0073_0014__EASTERN_R_0073_0015__ORTHODOX_R_0073_0016__CHURCH)
      & has_conj1(R_0073_0018__AND,R_0073_0008__THE_R_0073_0009__ROMAN_R_0073_0010__CATHOLIC_R_0073_0011__CHURCH)
      & has_attrib(R_0073_0004__THE_R_0073_0006__ORDERING,R_0073_0005__INTERNAL)
      & has_arg0(R_0073_0003__REGULATES,R_0073_0001__CANON_R_0073_0002__LAW) ) ).