TSPC 63_a_factbook_2

63_a_factbook_2_2010
As enacted in 1804, the Code addressed personal status, property, and the acquisition of property.

arc(r_0063_0001__As, r_0063_0002__enacted, restriction).
arc(r_0063_0001__As, r_0063_0008__addressed, scope).
arc(r_0063_0002__enacted, r_0063_0004__1804, r_0063_0003__in_nim13).
arc(r_0063_0002__enacted, r_0063_0006__the_r_0063_0007__Code, arg1).
arc(r_0063_0002__enacted, z_000_63_a_factbook_2_2010_6, arg0).
arc(r_0063_0008__addressed, r_0063_0006__the_r_0063_0007__Code, arg0).
arc(r_0063_0008__addressed, r_0063_0014__and, arg1).
arc(r_0063_0010__status, r_0063_0009__personal, attrib28).
arc(r_0063_0014__and, r_0063_0010__status, conj1).
arc(r_0063_0014__and, r_0063_0012__property, conj2).
arc(r_0063_0014__and, r_0063_0015__the_r_0063_0016__acquisition, conj3).
arc(r_0063_0015__the_r_0063_0016__acquisition, r_0063_0018__property, r_0063_0017__of).

fof(formula,axiom,
    ? [R_0063_0004__1804,R_0063_0006__THE_R_0063_0007__CODE,Z_000_63_A_FACTBOOK_2_2010_6,R_0063_0002__ENACTED,R_0063_0009__PERSONAL,R_0063_0010__STATUS,R_0063_0012__PROPERTY,R_0063_0018__PROPERTY,R_0063_0015__THE_R_0063_0016__ACQUISITION,R_0063_0014__AND,R_0063_0008__ADDRESSED,R_0063_0001__AS] :
      ( r_0063_0004__1804(R_0063_0004__1804)
      & r_0063_0006__the_r_0063_0007__Code(R_0063_0006__THE_R_0063_0007__CODE)
      & r_0063_0009__personal(R_0063_0009__PERSONAL)
      & r_0063_0012__property(R_0063_0012__PROPERTY)
      & r_0063_0018__property(R_0063_0018__PROPERTY)
      & z_000_63_a_factbook_2_2010_6(Z_000_63_A_FACTBOOK_2_2010_6)
      & r_0063_0001__As(R_0063_0001__AS)
      & has_conj2(R_0063_0001__AS,R_0063_0008__ADDRESSED)
      & r_0063_0008__addressed(R_0063_0008__ADDRESSED)
      & has_arg1(R_0063_0008__ADDRESSED,R_0063_0014__AND)
      & r_0063_0014__and(R_0063_0014__AND)
      & has_conj3(R_0063_0014__AND,R_0063_0015__THE_R_0063_0016__ACQUISITION)
      & r_0063_0015__the_r_0063_0016__acquisition(R_0063_0015__THE_R_0063_0016__ACQUISITION)
      & has_r_0063_0017__of(R_0063_0015__THE_R_0063_0016__ACQUISITION,R_0063_0018__PROPERTY)
      & has_conj2(R_0063_0014__AND,R_0063_0012__PROPERTY)
      & has_conj1(R_0063_0014__AND,R_0063_0010__STATUS)
      & r_0063_0010__status(R_0063_0010__STATUS)
      & has_attrib28(R_0063_0010__STATUS,R_0063_0009__PERSONAL)
      & has_arg0(R_0063_0008__ADDRESSED,R_0063_0006__THE_R_0063_0007__CODE)
      & has_conj1(R_0063_0001__AS,R_0063_0002__ENACTED)
      & r_0063_0002__enacted(R_0063_0002__ENACTED)
      & has_arg0(R_0063_0002__ENACTED,Z_000_63_A_FACTBOOK_2_2010_6)
      & has_arg1(R_0063_0002__ENACTED,R_0063_0006__THE_R_0063_0007__CODE)
      & has_r_0063_0003__in_nim13(R_0063_0002__ENACTED,R_0063_0004__1804) ) ).

( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-PPL2 (NP-LGS *)
                            (VVN;__ enacted;{enact})
                            (PP-NIM (P-ROLE in;{in})
                                    (NP (NPR 1804)))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NPR Code;{Code}))
          (VBD;__ addressed;{address})
          (NP-OB1 (NLYR (NLYR (ADJP (ADJ personal;{personal}))
                              (N status;{status}))
                        (PUNC ,)
                        (CONJP (NLYR (N property;{property})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D the;{the})
                                     (N acquisition;{acquisition})
                                     (PP (P-ROLE of;{of})
                                         (NP (N property;{property})))))))
          (PUNC .))
  (ID 63_a_factbook_2_2010))