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.

( (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))

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__nim).
arc(r_0063_0002__enacted,r_0063_0006__the_r_0063_0007__Code,arg1).
arc(r_0063_0002__enacted,z_0063_5002___star_,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,attrib).
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_0063_5002___STAR_,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_0063_5002___star_(Z_0063_5002___STAR_)
      & 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_attrib(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_0063_5002___STAR_)
      & has_arg1(R_0063_0002__ENACTED,R_0063_0006__THE_R_0063_0007__CODE)
      & has_r_0063_0003__in__nim(R_0063_0002__ENACTED,R_0063_0004__1804) ) ).