Context                Previous, Next                Top


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

%3 r_0063_0001__As As r_0063_0002__enacted enacted r_0063_0001__As->r_0063_0002__enacted [restriction] r_0063_0008__addressed addressed r_0063_0001__As->r_0063_0008__addressed [scope] r_0063_0004__1804 1804 r_0063_0002__enacted->r_0063_0004__1804 in [nim] r_0063_0006__the_r_0063_0007__Code the Code r_0063_0002__enacted->r_0063_0006__the_r_0063_0007__Code [arg1] z_000_63_a_factbook_2_2010_6 r_0063_0002__enacted->z_000_63_a_factbook_2_2010_6 [arg0] r_0063_0008__addressed->r_0063_0006__the_r_0063_0007__Code [arg0] r_0063_0014__and and r_0063_0008__addressed->r_0063_0014__and [arg1] r_0063_0010__status status r_0063_0014__and->r_0063_0010__status [conj1] r_0063_0012__property property r_0063_0014__and->r_0063_0012__property [conj2] r_0063_0015__the_r_0063_0016__acquisition the acquisition r_0063_0014__and->r_0063_0015__the_r_0063_0016__acquisition [conj3] r_0063_0009__personal personal r_0063_0010__status->r_0063_0009__personal [attrib] r_0063_0018__property property r_0063_0015__the_r_0063_0016__acquisition->r_0063_0018__property of 
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).


%3 r_0063_0015__the_r_0063_0016__acquisition the acquisition r_0063_0018__property property r_0063_0015__the_r_0063_0016__acquisition->r_0063_0018__property of r_0063_0014__and and r_0063_0014__and->r_0063_0015__the_r_0063_0016__acquisition [conj3] r_0063_0012__property property r_0063_0014__and->r_0063_0012__property [conj2] r_0063_0010__status status r_0063_0014__and->r_0063_0010__status [conj1] r_0063_0009__personal personal r_0063_0010__status->r_0063_0009__personal [attrib] r_0063_0008__addressed addressed r_0063_0008__addressed->r_0063_0014__and [arg1] r_0063_0006__the_r_0063_0007__Code the Code r_0063_0008__addressed->r_0063_0006__the_r_0063_0007__Code [arg0] r_0063_0002__enacted enacted r_0063_0002__enacted->r_0063_0006__the_r_0063_0007__Code [arg1] z_000_63_a_factbook_2_2010_6 r_0063_0002__enacted->z_000_63_a_factbook_2_2010_6 [arg0] r_0063_0004__1804 1804 r_0063_0002__enacted->r_0063_0004__1804 in [nim] r_0063_0001__As As r_0063_0001__As->r_0063_0008__addressed [conj2] r_0063_0001__As->r_0063_0002__enacted [conj1] 
fof(formula,axiom,
    ? [R_63_1_AS,R_63_2_ENACTED,Z_63_A_FACTBOOK_2_2010_6,R_63_4_1804,R_63_8_ADDRESSED,R_63_6_THE_CODE,R_63_14_AND,R_63_10_STATUS,R_63_9_PERSONAL,R_63_12_PROPERTY,R_63_15_THE_ACQUISITION,R_63_18_PROPERTY] :
      ( 1804(R_63_4_1804)
      & the_Code(R_63_6_THE_CODE)
      & personal(R_63_9_PERSONAL)
      & property(R_63_12_PROPERTY)
      & property(R_63_18_PROPERTY)
      & as(R_63_1_AS)
      & conj1(R_63_1_AS,R_63_2_ENACTED)
      & enacted(R_63_2_ENACTED,Z_63_A_FACTBOOK_2_2010_6,R_63_6_THE_CODE)
      & in_nim13(R_63_2_ENACTED,R_63_4_1804)
      & conj2(R_63_1_AS,R_63_8_ADDRESSED)
      & addressed(R_63_8_ADDRESSED,R_63_6_THE_CODE,R_63_14_AND)
      & and(R_63_14_AND)
      & conj1(R_63_14_AND,R_63_10_STATUS)
      & status(R_63_10_STATUS)
      & attrib28(R_63_10_STATUS,R_63_9_PERSONAL)
      & conj2(R_63_14_AND,R_63_12_PROPERTY)
      & conj3(R_63_14_AND,R_63_15_THE_ACQUISITION)
      & the_acquisition(R_63_15_THE_ACQUISITION)
      & of(R_63_15_THE_ACQUISITION,R_63_18_PROPERTY) ) ).


n63_a_factbook_2_2010 n63_a_factbook_2_2010__1_1_1_1 As n63_a_factbook_2_2010__1_1_2_1_1 * n63_a_factbook_2_2010__1_1_2_2_1 enacted n63_a_factbook_2_2010__1_1_2_3_1_1 in n63_a_factbook_2_2010__1_1_2_3_2_1_1 1804 n63_a_factbook_2_2010__1_2_1 , n63_a_factbook_2_2010__1_3_1_1 the n63_a_factbook_2_2010__1_3_2_1 Code n63_a_factbook_2_2010__1_4_1 addressed n63_a_factbook_2_2010__1_5_1_1_1_1_1 personal n63_a_factbook_2_2010__1_5_1_1_2_1 status n63_a_factbook_2_2010__1_5_1_2_1 , n63_a_factbook_2_2010__1_5_1_3_1_1_1 property n63_a_factbook_2_2010__1_5_1_4_1 , n63_a_factbook_2_2010__1_5_1_5_1_1 and n63_a_factbook_2_2010__1_5_1_5_2_1_1 the n63_a_factbook_2_2010__1_5_1_5_2_2_1 acquisition n63_a_factbook_2_2010__1_5_1_5_2_3_1_1 of n63_a_factbook_2_2010__1_5_1_5_2_3_2_1_1 property n63_a_factbook_2_2010__1_6_1 . n63_a_factbook_2_2010__1 IP-MAT n63_a_factbook_2_2010__1_1 PP-SCON n63_a_factbook_2_2010__1->n63_a_factbook_2_2010__1_1 n63_a_factbook_2_2010__1_2 PUNC n63_a_factbook_2_2010__1->n63_a_factbook_2_2010__1_2 n63_a_factbook_2_2010__1_3 NP-SBJ n63_a_factbook_2_2010__1->n63_a_factbook_2_2010__1_3 n63_a_factbook_2_2010__1_4 VBD;__ n63_a_factbook_2_2010__1->n63_a_factbook_2_2010__1_4 n63_a_factbook_2_2010__1_5 NP-OB1 n63_a_factbook_2_2010__1->n63_a_factbook_2_2010__1_5 n63_a_factbook_2_2010__1_6 PUNC n63_a_factbook_2_2010__1->n63_a_factbook_2_2010__1_6 n63_a_factbook_2_2010__1_1_1 P-CONN n63_a_factbook_2_2010__1_1->n63_a_factbook_2_2010__1_1_1 n63_a_factbook_2_2010__1_1_2 IP-PPL2 n63_a_factbook_2_2010__1_1->n63_a_factbook_2_2010__1_1_2 n63_a_factbook_2_2010__1_1_1->n63_a_factbook_2_2010__1_1_1_1 n63_a_factbook_2_2010__1_1_2_1 NP-LGS n63_a_factbook_2_2010__1_1_2->n63_a_factbook_2_2010__1_1_2_1 n63_a_factbook_2_2010__1_1_2_2 VVN;__ n63_a_factbook_2_2010__1_1_2->n63_a_factbook_2_2010__1_1_2_2 n63_a_factbook_2_2010__1_1_2_3 PP-NIM n63_a_factbook_2_2010__1_1_2->n63_a_factbook_2_2010__1_1_2_3 n63_a_factbook_2_2010__1_1_2_1->n63_a_factbook_2_2010__1_1_2_1_1 n63_a_factbook_2_2010__1_1_2_2->n63_a_factbook_2_2010__1_1_2_2_1 n63_a_factbook_2_2010__1_1_2_3_1 P-ROLE n63_a_factbook_2_2010__1_1_2_3->n63_a_factbook_2_2010__1_1_2_3_1 n63_a_factbook_2_2010__1_1_2_3_2 NP n63_a_factbook_2_2010__1_1_2_3->n63_a_factbook_2_2010__1_1_2_3_2 n63_a_factbook_2_2010__1_1_2_3_1->n63_a_factbook_2_2010__1_1_2_3_1_1 n63_a_factbook_2_2010__1_1_2_3_2_1 NPR n63_a_factbook_2_2010__1_1_2_3_2->n63_a_factbook_2_2010__1_1_2_3_2_1 n63_a_factbook_2_2010__1_1_2_3_2_1->n63_a_factbook_2_2010__1_1_2_3_2_1_1 n63_a_factbook_2_2010__1_2->n63_a_factbook_2_2010__1_2_1 n63_a_factbook_2_2010__1_3_1 D n63_a_factbook_2_2010__1_3->n63_a_factbook_2_2010__1_3_1 n63_a_factbook_2_2010__1_3_2 NPR n63_a_factbook_2_2010__1_3->n63_a_factbook_2_2010__1_3_2 n63_a_factbook_2_2010__1_3_1->n63_a_factbook_2_2010__1_3_1_1 n63_a_factbook_2_2010__1_3_2->n63_a_factbook_2_2010__1_3_2_1 n63_a_factbook_2_2010__1_4->n63_a_factbook_2_2010__1_4_1 n63_a_factbook_2_2010__1_5_1 NLYR n63_a_factbook_2_2010__1_5->n63_a_factbook_2_2010__1_5_1 n63_a_factbook_2_2010__1_5_1_1 NLYR n63_a_factbook_2_2010__1_5_1->n63_a_factbook_2_2010__1_5_1_1 n63_a_factbook_2_2010__1_5_1_2 PUNC n63_a_factbook_2_2010__1_5_1->n63_a_factbook_2_2010__1_5_1_2 n63_a_factbook_2_2010__1_5_1_3 CONJP n63_a_factbook_2_2010__1_5_1->n63_a_factbook_2_2010__1_5_1_3 n63_a_factbook_2_2010__1_5_1_4 PUNC n63_a_factbook_2_2010__1_5_1->n63_a_factbook_2_2010__1_5_1_4 n63_a_factbook_2_2010__1_5_1_5 CONJP n63_a_factbook_2_2010__1_5_1->n63_a_factbook_2_2010__1_5_1_5 n63_a_factbook_2_2010__1_5_1_1_1 ADJP n63_a_factbook_2_2010__1_5_1_1->n63_a_factbook_2_2010__1_5_1_1_1 n63_a_factbook_2_2010__1_5_1_1_2 N n63_a_factbook_2_2010__1_5_1_1->n63_a_factbook_2_2010__1_5_1_1_2 n63_a_factbook_2_2010__1_5_1_1_1_1 ADJ n63_a_factbook_2_2010__1_5_1_1_1->n63_a_factbook_2_2010__1_5_1_1_1_1 n63_a_factbook_2_2010__1_5_1_1_1_1->n63_a_factbook_2_2010__1_5_1_1_1_1_1 n63_a_factbook_2_2010__1_5_1_1_2->n63_a_factbook_2_2010__1_5_1_1_2_1 n63_a_factbook_2_2010__1_5_1_2->n63_a_factbook_2_2010__1_5_1_2_1 n63_a_factbook_2_2010__1_5_1_3_1 NLYR n63_a_factbook_2_2010__1_5_1_3->n63_a_factbook_2_2010__1_5_1_3_1 n63_a_factbook_2_2010__1_5_1_3_1_1 N n63_a_factbook_2_2010__1_5_1_3_1->n63_a_factbook_2_2010__1_5_1_3_1_1 n63_a_factbook_2_2010__1_5_1_3_1_1->n63_a_factbook_2_2010__1_5_1_3_1_1_1 n63_a_factbook_2_2010__1_5_1_4->n63_a_factbook_2_2010__1_5_1_4_1 n63_a_factbook_2_2010__1_5_1_5_1 CONJ n63_a_factbook_2_2010__1_5_1_5->n63_a_factbook_2_2010__1_5_1_5_1 n63_a_factbook_2_2010__1_5_1_5_2 NLYR n63_a_factbook_2_2010__1_5_1_5->n63_a_factbook_2_2010__1_5_1_5_2 n63_a_factbook_2_2010__1_5_1_5_1->n63_a_factbook_2_2010__1_5_1_5_1_1 n63_a_factbook_2_2010__1_5_1_5_2_1 D n63_a_factbook_2_2010__1_5_1_5_2->n63_a_factbook_2_2010__1_5_1_5_2_1 n63_a_factbook_2_2010__1_5_1_5_2_2 N n63_a_factbook_2_2010__1_5_1_5_2->n63_a_factbook_2_2010__1_5_1_5_2_2 n63_a_factbook_2_2010__1_5_1_5_2_3 PP n63_a_factbook_2_2010__1_5_1_5_2->n63_a_factbook_2_2010__1_5_1_5_2_3 n63_a_factbook_2_2010__1_5_1_5_2_1->n63_a_factbook_2_2010__1_5_1_5_2_1_1 n63_a_factbook_2_2010__1_5_1_5_2_2->n63_a_factbook_2_2010__1_5_1_5_2_2_1 n63_a_factbook_2_2010__1_5_1_5_2_3_1 P-ROLE n63_a_factbook_2_2010__1_5_1_5_2_3->n63_a_factbook_2_2010__1_5_1_5_2_3_1 n63_a_factbook_2_2010__1_5_1_5_2_3_2 NP n63_a_factbook_2_2010__1_5_1_5_2_3->n63_a_factbook_2_2010__1_5_1_5_2_3_2 n63_a_factbook_2_2010__1_5_1_5_2_3_1->n63_a_factbook_2_2010__1_5_1_5_2_3_1_1 n63_a_factbook_2_2010__1_5_1_5_2_3_2_1 N n63_a_factbook_2_2010__1_5_1_5_2_3_2->n63_a_factbook_2_2010__1_5_1_5_2_3_2_1 n63_a_factbook_2_2010__1_5_1_5_2_3_2_1->n63_a_factbook_2_2010__1_5_1_5_2_3_2_1_1 n63_a_factbook_2_2010__1_6->n63_a_factbook_2_2010__1_6_1 
( (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))