Context                Previous, Next                Top


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.

%3 r_0064_0002__added added r_0064_0001__Codes Codes r_0064_0002__added->r_0064_0001__Codes [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] 
arc(r_0064_0002__added, r_0064_0001__Codes, arg0).
arc(r_0064_0002__added, r_0064_0004__the_r_0064_0006__six_r_0064_0007__years, r_0064_0003__over_nim11).
arc(r_0064_0004__the_r_0064_0006__six_r_0064_0007__years, r_0064_0005__following, attrib14).
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, attrib26).
arc(r_0064_0013__law, r_0064_0012__commercial, attrib35).
arc(r_0064_0016__law, r_0064_0015__criminal, attrib46).
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, attrib65).


%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 [arg0] r_0064_0002__added->r_0064_0004__the_r_0064_0006__six_r_0064_0007__years over [nim] 
fof(formula,axiom,
    ? [R_0064_0001__CODES,R_0064_0005__FOLLOWING,R_0064_0004__THE_R_0064_0006__SIX_R_0064_0007__YEARS,R_0064_0002__ADDED,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_0001__Codes(R_0064_0001__CODES)
      & 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_attrib65(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_attrib46(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_attrib35(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_attrib26(R_0064_0010__PROCEDURES,R_0064_0009__CIVIL)
      & has_arg0(R_0064_0008__INCLUDED,R_0064_0001__CODES)
      & r_0064_0002__added(R_0064_0002__ADDED)
      & has_r_0064_0003__over_nim11(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_attrib14(R_0064_0004__THE_R_0064_0006__SIX_R_0064_0007__YEARS,R_0064_0005__FOLLOWING)
      & has_arg0(R_0064_0002__ADDED,R_0064_0001__CODES) ) ).


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