64_a_factbook_2_2010
Codes added over the following six years included civil procedures, commercial law, criminal law and procedures, and a penal code.

n64_a_factbook_2_2010 n64_a_factbook_2_2010__1_1_1_1 Codes n64_a_factbook_2_2010__1_1_2_1_1 added n64_a_factbook_2_2010__1_1_2_2_1_1 over n64_a_factbook_2_2010__1_1_2_2_2_1_1 the n64_a_factbook_2_2010__1_1_2_2_2_2_1_1 following n64_a_factbook_2_2010__1_1_2_2_2_3_1 six n64_a_factbook_2_2010__1_1_2_2_2_4_1 years n64_a_factbook_2_2010__1_2_1 included n64_a_factbook_2_2010__1_3_1_1_1_1_1 civil n64_a_factbook_2_2010__1_3_1_1_2_1 procedures n64_a_factbook_2_2010__1_3_1_2_1 , n64_a_factbook_2_2010__1_3_1_3_1_1_1_1 commercial n64_a_factbook_2_2010__1_3_1_3_1_2_1 law n64_a_factbook_2_2010__1_3_1_4_1 , n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1_1 criminal n64_a_factbook_2_2010__1_3_1_5_1_1_1_2_1 law n64_a_factbook_2_2010__1_3_1_5_1_1_2_1_1 and n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1_1 procedures n64_a_factbook_2_2010__1_3_1_6_1 , n64_a_factbook_2_2010__1_3_1_7_1_1 and n64_a_factbook_2_2010__1_3_1_7_2_1_1 a n64_a_factbook_2_2010__1_3_1_7_2_2_1_1 penal n64_a_factbook_2_2010__1_3_1_7_2_3_1 code n64_a_factbook_2_2010__1_4_1 . n64_a_factbook_2_2010__1 IP-MAT n64_a_factbook_2_2010__1_1 NP-SBJ n64_a_factbook_2_2010__1->n64_a_factbook_2_2010__1_1 n64_a_factbook_2_2010__1_2 VBD;__ n64_a_factbook_2_2010__1->n64_a_factbook_2_2010__1_2 n64_a_factbook_2_2010__1_3 NP-OB1 n64_a_factbook_2_2010__1->n64_a_factbook_2_2010__1_3 n64_a_factbook_2_2010__1_4 PUNC n64_a_factbook_2_2010__1->n64_a_factbook_2_2010__1_4 n64_a_factbook_2_2010__1_1_1 NS n64_a_factbook_2_2010__1_1->n64_a_factbook_2_2010__1_1_1 n64_a_factbook_2_2010__1_1_2 IP-PPL n64_a_factbook_2_2010__1_1->n64_a_factbook_2_2010__1_1_2 n64_a_factbook_2_2010__1_1_1->n64_a_factbook_2_2010__1_1_1_1 n64_a_factbook_2_2010__1_1_2_1 VVN;__ n64_a_factbook_2_2010__1_1_2->n64_a_factbook_2_2010__1_1_2_1 n64_a_factbook_2_2010__1_1_2_2 PP-NIM n64_a_factbook_2_2010__1_1_2->n64_a_factbook_2_2010__1_1_2_2 n64_a_factbook_2_2010__1_1_2_1->n64_a_factbook_2_2010__1_1_2_1_1 n64_a_factbook_2_2010__1_1_2_2_1 P-ROLE n64_a_factbook_2_2010__1_1_2_2->n64_a_factbook_2_2010__1_1_2_2_1 n64_a_factbook_2_2010__1_1_2_2_2 NP n64_a_factbook_2_2010__1_1_2_2->n64_a_factbook_2_2010__1_1_2_2_2 n64_a_factbook_2_2010__1_1_2_2_1->n64_a_factbook_2_2010__1_1_2_2_1_1 n64_a_factbook_2_2010__1_1_2_2_2_1 D n64_a_factbook_2_2010__1_1_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_1 n64_a_factbook_2_2010__1_1_2_2_2_2 ADJP n64_a_factbook_2_2010__1_1_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_2 n64_a_factbook_2_2010__1_1_2_2_2_3 NUM n64_a_factbook_2_2010__1_1_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_3 n64_a_factbook_2_2010__1_1_2_2_2_4 NS n64_a_factbook_2_2010__1_1_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_4 n64_a_factbook_2_2010__1_1_2_2_2_1->n64_a_factbook_2_2010__1_1_2_2_2_1_1 n64_a_factbook_2_2010__1_1_2_2_2_2_1 ADJ n64_a_factbook_2_2010__1_1_2_2_2_2->n64_a_factbook_2_2010__1_1_2_2_2_2_1 n64_a_factbook_2_2010__1_1_2_2_2_2_1->n64_a_factbook_2_2010__1_1_2_2_2_2_1_1 n64_a_factbook_2_2010__1_1_2_2_2_3->n64_a_factbook_2_2010__1_1_2_2_2_3_1 n64_a_factbook_2_2010__1_1_2_2_2_4->n64_a_factbook_2_2010__1_1_2_2_2_4_1 n64_a_factbook_2_2010__1_2->n64_a_factbook_2_2010__1_2_1 n64_a_factbook_2_2010__1_3_1 NLYR n64_a_factbook_2_2010__1_3->n64_a_factbook_2_2010__1_3_1 n64_a_factbook_2_2010__1_3_1_1 NLYR n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_1 n64_a_factbook_2_2010__1_3_1_2 PUNC n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_2 n64_a_factbook_2_2010__1_3_1_3 CONJP n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_3 n64_a_factbook_2_2010__1_3_1_4 PUNC n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_4 n64_a_factbook_2_2010__1_3_1_5 CONJP n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_5 n64_a_factbook_2_2010__1_3_1_6 PUNC n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_6 n64_a_factbook_2_2010__1_3_1_7 CONJP n64_a_factbook_2_2010__1_3_1->n64_a_factbook_2_2010__1_3_1_7 n64_a_factbook_2_2010__1_3_1_1_1 ADJP n64_a_factbook_2_2010__1_3_1_1->n64_a_factbook_2_2010__1_3_1_1_1 n64_a_factbook_2_2010__1_3_1_1_2 NS n64_a_factbook_2_2010__1_3_1_1->n64_a_factbook_2_2010__1_3_1_1_2 n64_a_factbook_2_2010__1_3_1_1_1_1 ADJ n64_a_factbook_2_2010__1_3_1_1_1->n64_a_factbook_2_2010__1_3_1_1_1_1 n64_a_factbook_2_2010__1_3_1_1_1_1->n64_a_factbook_2_2010__1_3_1_1_1_1_1 n64_a_factbook_2_2010__1_3_1_1_2->n64_a_factbook_2_2010__1_3_1_1_2_1 n64_a_factbook_2_2010__1_3_1_2->n64_a_factbook_2_2010__1_3_1_2_1 n64_a_factbook_2_2010__1_3_1_3_1 NLYR n64_a_factbook_2_2010__1_3_1_3->n64_a_factbook_2_2010__1_3_1_3_1 n64_a_factbook_2_2010__1_3_1_3_1_1 ADJP n64_a_factbook_2_2010__1_3_1_3_1->n64_a_factbook_2_2010__1_3_1_3_1_1 n64_a_factbook_2_2010__1_3_1_3_1_2 N n64_a_factbook_2_2010__1_3_1_3_1->n64_a_factbook_2_2010__1_3_1_3_1_2 n64_a_factbook_2_2010__1_3_1_3_1_1_1 ADJ n64_a_factbook_2_2010__1_3_1_3_1_1->n64_a_factbook_2_2010__1_3_1_3_1_1_1 n64_a_factbook_2_2010__1_3_1_3_1_1_1->n64_a_factbook_2_2010__1_3_1_3_1_1_1_1 n64_a_factbook_2_2010__1_3_1_3_1_2->n64_a_factbook_2_2010__1_3_1_3_1_2_1 n64_a_factbook_2_2010__1_3_1_4->n64_a_factbook_2_2010__1_3_1_4_1 n64_a_factbook_2_2010__1_3_1_5_1 NLYR n64_a_factbook_2_2010__1_3_1_5->n64_a_factbook_2_2010__1_3_1_5_1 n64_a_factbook_2_2010__1_3_1_5_1_1 NLYR n64_a_factbook_2_2010__1_3_1_5_1->n64_a_factbook_2_2010__1_3_1_5_1_1 n64_a_factbook_2_2010__1_3_1_5_1_1_1 NLYR n64_a_factbook_2_2010__1_3_1_5_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1 n64_a_factbook_2_2010__1_3_1_5_1_1_2 CONJP n64_a_factbook_2_2010__1_3_1_5_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_2 n64_a_factbook_2_2010__1_3_1_5_1_1_1_1 ADJP n64_a_factbook_2_2010__1_3_1_5_1_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1_1 n64_a_factbook_2_2010__1_3_1_5_1_1_1_2 N n64_a_factbook_2_2010__1_3_1_5_1_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1_2 n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1 ADJ n64_a_factbook_2_2010__1_3_1_5_1_1_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1 n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1->n64_a_factbook_2_2010__1_3_1_5_1_1_1_1_1_1 n64_a_factbook_2_2010__1_3_1_5_1_1_1_2->n64_a_factbook_2_2010__1_3_1_5_1_1_1_2_1 n64_a_factbook_2_2010__1_3_1_5_1_1_2_1 CONJ n64_a_factbook_2_2010__1_3_1_5_1_1_2->n64_a_factbook_2_2010__1_3_1_5_1_1_2_1 n64_a_factbook_2_2010__1_3_1_5_1_1_2_2 NLYR n64_a_factbook_2_2010__1_3_1_5_1_1_2->n64_a_factbook_2_2010__1_3_1_5_1_1_2_2 n64_a_factbook_2_2010__1_3_1_5_1_1_2_1->n64_a_factbook_2_2010__1_3_1_5_1_1_2_1_1 n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1 NS n64_a_factbook_2_2010__1_3_1_5_1_1_2_2->n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1 n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1->n64_a_factbook_2_2010__1_3_1_5_1_1_2_2_1_1 n64_a_factbook_2_2010__1_3_1_6->n64_a_factbook_2_2010__1_3_1_6_1 n64_a_factbook_2_2010__1_3_1_7_1 CONJ n64_a_factbook_2_2010__1_3_1_7->n64_a_factbook_2_2010__1_3_1_7_1 n64_a_factbook_2_2010__1_3_1_7_2 NLYR n64_a_factbook_2_2010__1_3_1_7->n64_a_factbook_2_2010__1_3_1_7_2 n64_a_factbook_2_2010__1_3_1_7_1->n64_a_factbook_2_2010__1_3_1_7_1_1 n64_a_factbook_2_2010__1_3_1_7_2_1 D n64_a_factbook_2_2010__1_3_1_7_2->n64_a_factbook_2_2010__1_3_1_7_2_1 n64_a_factbook_2_2010__1_3_1_7_2_2 ADJP n64_a_factbook_2_2010__1_3_1_7_2->n64_a_factbook_2_2010__1_3_1_7_2_2 n64_a_factbook_2_2010__1_3_1_7_2_3 N n64_a_factbook_2_2010__1_3_1_7_2->n64_a_factbook_2_2010__1_3_1_7_2_3 n64_a_factbook_2_2010__1_3_1_7_2_1->n64_a_factbook_2_2010__1_3_1_7_2_1_1 n64_a_factbook_2_2010__1_3_1_7_2_2_1 ADJ n64_a_factbook_2_2010__1_3_1_7_2_2->n64_a_factbook_2_2010__1_3_1_7_2_2_1 n64_a_factbook_2_2010__1_3_1_7_2_2_1->n64_a_factbook_2_2010__1_3_1_7_2_2_1_1 n64_a_factbook_2_2010__1_3_1_7_2_3->n64_a_factbook_2_2010__1_3_1_7_2_3_1 n64_a_factbook_2_2010__1_4->n64_a_factbook_2_2010__1_4_1
( (IP-MAT (NP-SBJ (NS Codes;{code})
                  (IP-PPL (VVN;__ added;{add})
                          (PP-NIM (P-ROLE over;{over})
                                  (NP (D the;{the})
                                      (ADJP (ADJ following;{following}))
                                      (NUM six;{six})
                                      (NS years;{year})))))
          (VBD;__ included;{include})
          (NP-OB1 (NLYR (NLYR (ADJP (ADJ civil;{civil}))
                              (NS procedures;{procedure}))
                        (PUNC ,)
                        (CONJP (NLYR (ADJP (ADJ commercial;{commercial}))
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (NLYR (NLYR (NLYR (ADJP (ADJ criminal;{criminal}))
                                                 (N law;{law}))
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (NS procedures;{procedure}))))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D a;{a})
                                     (ADJP (ADJ penal;{penal}))
                                     (N code;{code})))))
          (PUNC .))
  (ID 64_a_factbook_2_2010))



%3 r_0064_0021__a_r_0064_0023__code a code r_0064_0022__penal penal r_0064_0021__a_r_0064_0023__code->r_0064_0022__penal [attrib] r_0064_0020__and and r_0064_0020__and->r_0064_0021__a_r_0064_0023__code [conj4] r_0064_0017__and and r_0064_0020__and->r_0064_0017__and [conj3] r_0064_0013__law law r_0064_0020__and->r_0064_0013__law [conj2] r_0064_0010__procedures procedures r_0064_0020__and->r_0064_0010__procedures [conj1] r_0064_0018__procedures procedures r_0064_0017__and->r_0064_0018__procedures [conj2] r_0064_0016__law law r_0064_0017__and->r_0064_0016__law [conj1] r_0064_0012__commercial commercial r_0064_0013__law->r_0064_0012__commercial [attrib] r_0064_0009__civil civil r_0064_0010__procedures->r_0064_0009__civil [attrib] r_0064_0015__criminal criminal r_0064_0016__law->r_0064_0015__criminal [attrib] r_0064_0008__included included r_0064_0008__included->r_0064_0020__and [arg1] r_0064_0001__Codes Codes r_0064_0008__included->r_0064_0001__Codes [arg0] r_0064_0004__the_r_0064_0006__six_r_0064_0007__years the six years r_0064_0005__following following r_0064_0004__the_r_0064_0006__six_r_0064_0007__years->r_0064_0005__following [attrib] r_0064_0002__added added r_0064_0002__added->r_0064_0001__Codes [inv_arg0] r_0064_0002__added->r_0064_0004__the_r_0064_0006__six_r_0064_0007__years over [nim]
arc(r_0064_0002__added,r_0064_0001__Codes,inv_arg0).
arc(r_0064_0002__added,r_0064_0004__the_r_0064_0006__six_r_0064_0007__years,r_0064_0003__over__nim).
arc(r_0064_0004__the_r_0064_0006__six_r_0064_0007__years,r_0064_0005__following,attrib).
arc(r_0064_0008__included,r_0064_0001__Codes,arg0).
arc(r_0064_0008__included,r_0064_0020__and,arg1).
arc(r_0064_0010__procedures,r_0064_0009__civil,attrib).
arc(r_0064_0013__law,r_0064_0012__commercial,attrib).
arc(r_0064_0016__law,r_0064_0015__criminal,attrib).
arc(r_0064_0017__and,r_0064_0016__law,conj1).
arc(r_0064_0017__and,r_0064_0018__procedures,conj2).
arc(r_0064_0020__and,r_0064_0010__procedures,conj1).
arc(r_0064_0020__and,r_0064_0013__law,conj2).
arc(r_0064_0020__and,r_0064_0017__and,conj3).
arc(r_0064_0020__and,r_0064_0021__a_r_0064_0023__code,conj4).
arc(r_0064_0021__a_r_0064_0023__code,r_0064_0022__penal,attrib).



%3 r_0064_0001__Codes Codes r_0064_0002__added added r_0064_0001__Codes->r_0064_0002__added [inv_arg0] r_0064_0004__the_r_0064_0006__six_r_0064_0007__years the six years r_0064_0002__added->r_0064_0004__the_r_0064_0006__six_r_0064_0007__years over [nim] r_0064_0005__following following r_0064_0004__the_r_0064_0006__six_r_0064_0007__years->r_0064_0005__following [attrib] r_0064_0008__included included r_0064_0008__included->r_0064_0001__Codes [arg0] r_0064_0020__and and r_0064_0008__included->r_0064_0020__and [arg1] r_0064_0010__procedures procedures r_0064_0020__and->r_0064_0010__procedures [conj1] r_0064_0013__law law r_0064_0020__and->r_0064_0013__law [conj2] r_0064_0017__and and r_0064_0020__and->r_0064_0017__and [conj3] r_0064_0021__a_r_0064_0023__code a code r_0064_0020__and->r_0064_0021__a_r_0064_0023__code [conj4] r_0064_0009__civil civil r_0064_0010__procedures->r_0064_0009__civil [attrib] r_0064_0012__commercial commercial r_0064_0013__law->r_0064_0012__commercial [attrib] r_0064_0016__law law r_0064_0015__criminal criminal r_0064_0016__law->r_0064_0015__criminal [attrib] r_0064_0017__and->r_0064_0016__law [conj1] r_0064_0018__procedures procedures r_0064_0017__and->r_0064_0018__procedures [conj2] r_0064_0022__penal penal r_0064_0021__a_r_0064_0023__code->r_0064_0022__penal [attrib]
fof(formula,axiom,
    ? [R_0064_0005__FOLLOWING,R_0064_0004__THE_R_0064_0006__SIX_R_0064_0007__YEARS,R_0064_0002__ADDED,R_0064_0001__CODES,R_0064_0009__CIVIL,R_0064_0010__PROCEDURES,R_0064_0012__COMMERCIAL,R_0064_0013__LAW,R_0064_0015__CRIMINAL,R_0064_0016__LAW,R_0064_0018__PROCEDURES,R_0064_0017__AND,R_0064_0022__PENAL,R_0064_0021__A_R_0064_0023__CODE,R_0064_0020__AND,R_0064_0008__INCLUDED] :
      ( r_0064_0005__following(R_0064_0005__FOLLOWING)
      & r_0064_0009__civil(R_0064_0009__CIVIL)
      & r_0064_0012__commercial(R_0064_0012__COMMERCIAL)
      & r_0064_0015__criminal(R_0064_0015__CRIMINAL)
      & r_0064_0018__procedures(R_0064_0018__PROCEDURES)
      & r_0064_0022__penal(R_0064_0022__PENAL)
      & r_0064_0008__included(R_0064_0008__INCLUDED)
      & has_arg1(R_0064_0008__INCLUDED,R_0064_0020__AND)
      & r_0064_0020__and(R_0064_0020__AND)
      & has_conj4(R_0064_0020__AND,R_0064_0021__A_R_0064_0023__CODE)
      & r_0064_0021__a_r_0064_0023__code(R_0064_0021__A_R_0064_0023__CODE)
      & has_attrib(R_0064_0021__A_R_0064_0023__CODE,R_0064_0022__PENAL)
      & has_conj3(R_0064_0020__AND,R_0064_0017__AND)
      & r_0064_0017__and(R_0064_0017__AND)
      & has_conj2(R_0064_0017__AND,R_0064_0018__PROCEDURES)
      & has_conj1(R_0064_0017__AND,R_0064_0016__LAW)
      & r_0064_0016__law(R_0064_0016__LAW)
      & has_attrib(R_0064_0016__LAW,R_0064_0015__CRIMINAL)
      & has_conj2(R_0064_0020__AND,R_0064_0013__LAW)
      & r_0064_0013__law(R_0064_0013__LAW)
      & has_attrib(R_0064_0013__LAW,R_0064_0012__COMMERCIAL)
      & has_conj1(R_0064_0020__AND,R_0064_0010__PROCEDURES)
      & r_0064_0010__procedures(R_0064_0010__PROCEDURES)
      & has_attrib(R_0064_0010__PROCEDURES,R_0064_0009__CIVIL)
      & has_arg0(R_0064_0008__INCLUDED,R_0064_0001__CODES)
      & r_0064_0001__Codes(R_0064_0001__CODES)
      & has_inv_arg0(R_0064_0001__CODES,R_0064_0002__ADDED)
      & r_0064_0002__added(R_0064_0002__ADDED)
      & has_r_0064_0003__over__nim(R_0064_0002__ADDED,R_0064_0004__THE_R_0064_0006__SIX_R_0064_0007__YEARS)
      & r_0064_0004__the_r_0064_0006__six_r_0064_0007__years(R_0064_0004__THE_R_0064_0006__SIX_R_0064_0007__YEARS)
      & has_attrib(R_0064_0004__THE_R_0064_0006__SIX_R_0064_0007__YEARS,R_0064_0005__FOLLOWING) ) ).