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_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] 
fof(formula,axiom,
    ? [R_64_2_ADDED,R_64_4_THE_SIX_YEARS,R_64_5_FOLLOWING,R_64_8_INCLUDED,R_64_1_CODES,R_64_20_AND,R_64_10_PROCEDURES,R_64_9_CIVIL,R_64_13_LAW,R_64_12_COMMERCIAL,R_64_17_AND,R_64_16_LAW,R_64_15_CRIMINAL,R_64_18_PROCEDURES,R_64_21_A_CODE,R_64_22_PENAL] :
      ( following(R_64_5_FOLLOWING)
      & codes(R_64_1_CODES)
      & civil(R_64_9_CIVIL)
      & commercial(R_64_12_COMMERCIAL)
      & criminal(R_64_15_CRIMINAL)
      & procedures(R_64_18_PROCEDURES)
      & penal(R_64_22_PENAL)
      & added(R_64_2_ADDED,R_64_1_CODES)
      & over_nim11(R_64_2_ADDED,R_64_4_THE_SIX_YEARS)
      & the_six_years(R_64_4_THE_SIX_YEARS)
      & attrib14(R_64_4_THE_SIX_YEARS,R_64_5_FOLLOWING)
      & included(R_64_8_INCLUDED,R_64_1_CODES,R_64_20_AND)
      & and(R_64_20_AND)
      & conj1(R_64_20_AND,R_64_10_PROCEDURES)
      & procedures(R_64_10_PROCEDURES)
      & attrib26(R_64_10_PROCEDURES,R_64_9_CIVIL)
      & conj2(R_64_20_AND,R_64_13_LAW)
      & law(R_64_13_LAW)
      & attrib35(R_64_13_LAW,R_64_12_COMMERCIAL)
      & conj3(R_64_20_AND,R_64_17_AND)
      & and(R_64_17_AND)
      & conj1(R_64_17_AND,R_64_16_LAW)
      & law(R_64_16_LAW)
      & attrib46(R_64_16_LAW,R_64_15_CRIMINAL)
      & conj2(R_64_17_AND,R_64_18_PROCEDURES)
      & conj4(R_64_20_AND,R_64_21_A_CODE)
      & a_code(R_64_21_A_CODE)
      & attrib65(R_64_21_A_CODE,R_64_22_PENAL) ) ).


n64_a_factbook_2_2010 n64_a_factbook_2_2010_4 Codes n64_a_factbook_2_2010_7 added n64_a_factbook_2_2010_10 over n64_a_factbook_2_2010_13 the n64_a_factbook_2_2010_16 following n64_a_factbook_2_2010_18 six n64_a_factbook_2_2010_20 years n64_a_factbook_2_2010_22 included n64_a_factbook_2_2010_28 civil n64_a_factbook_2_2010_30 procedures n64_a_factbook_2_2010_32 , n64_a_factbook_2_2010_37 commercial n64_a_factbook_2_2010_39 law n64_a_factbook_2_2010_41 , n64_a_factbook_2_2010_48 criminal n64_a_factbook_2_2010_50 law n64_a_factbook_2_2010_53 and n64_a_factbook_2_2010_56 procedures n64_a_factbook_2_2010_58 , n64_a_factbook_2_2010_61 and n64_a_factbook_2_2010_64 a n64_a_factbook_2_2010_67 penal n64_a_factbook_2_2010_69 code n64_a_factbook_2_2010_71 . n64_a_factbook_2_2010_1 IP-MAT n64_a_factbook_2_2010_2 NP-SBJ n64_a_factbook_2_2010_1->n64_a_factbook_2_2010_2 n64_a_factbook_2_2010_21 VBD;__ n64_a_factbook_2_2010_1->n64_a_factbook_2_2010_21 n64_a_factbook_2_2010_23 NP-OB1 n64_a_factbook_2_2010_1->n64_a_factbook_2_2010_23 n64_a_factbook_2_2010_70 PUNC n64_a_factbook_2_2010_1->n64_a_factbook_2_2010_70 n64_a_factbook_2_2010_3 NS n64_a_factbook_2_2010_2->n64_a_factbook_2_2010_3 n64_a_factbook_2_2010_5 IP-PPL n64_a_factbook_2_2010_2->n64_a_factbook_2_2010_5 n64_a_factbook_2_2010_3->n64_a_factbook_2_2010_4 n64_a_factbook_2_2010_6 VVN;__ n64_a_factbook_2_2010_5->n64_a_factbook_2_2010_6 n64_a_factbook_2_2010_8 PP-NIM n64_a_factbook_2_2010_5->n64_a_factbook_2_2010_8 n64_a_factbook_2_2010_6->n64_a_factbook_2_2010_7 n64_a_factbook_2_2010_9 P-ROLE n64_a_factbook_2_2010_8->n64_a_factbook_2_2010_9 n64_a_factbook_2_2010_11 NP n64_a_factbook_2_2010_8->n64_a_factbook_2_2010_11 n64_a_factbook_2_2010_9->n64_a_factbook_2_2010_10 n64_a_factbook_2_2010_12 D n64_a_factbook_2_2010_11->n64_a_factbook_2_2010_12 n64_a_factbook_2_2010_14 ADJP n64_a_factbook_2_2010_11->n64_a_factbook_2_2010_14 n64_a_factbook_2_2010_17 NUM n64_a_factbook_2_2010_11->n64_a_factbook_2_2010_17 n64_a_factbook_2_2010_19 NS n64_a_factbook_2_2010_11->n64_a_factbook_2_2010_19 n64_a_factbook_2_2010_12->n64_a_factbook_2_2010_13 n64_a_factbook_2_2010_15 ADJ n64_a_factbook_2_2010_14->n64_a_factbook_2_2010_15 n64_a_factbook_2_2010_15->n64_a_factbook_2_2010_16 n64_a_factbook_2_2010_17->n64_a_factbook_2_2010_18 n64_a_factbook_2_2010_19->n64_a_factbook_2_2010_20 n64_a_factbook_2_2010_21->n64_a_factbook_2_2010_22 n64_a_factbook_2_2010_24 NLYR n64_a_factbook_2_2010_23->n64_a_factbook_2_2010_24 n64_a_factbook_2_2010_25 NLYR n64_a_factbook_2_2010_24->n64_a_factbook_2_2010_25 n64_a_factbook_2_2010_31 PUNC n64_a_factbook_2_2010_24->n64_a_factbook_2_2010_31 n64_a_factbook_2_2010_33 CONJP n64_a_factbook_2_2010_24->n64_a_factbook_2_2010_33 n64_a_factbook_2_2010_40 PUNC n64_a_factbook_2_2010_24->n64_a_factbook_2_2010_40 n64_a_factbook_2_2010_42 CONJP n64_a_factbook_2_2010_24->n64_a_factbook_2_2010_42 n64_a_factbook_2_2010_57 PUNC n64_a_factbook_2_2010_24->n64_a_factbook_2_2010_57 n64_a_factbook_2_2010_59 CONJP n64_a_factbook_2_2010_24->n64_a_factbook_2_2010_59 n64_a_factbook_2_2010_26 ADJP n64_a_factbook_2_2010_25->n64_a_factbook_2_2010_26 n64_a_factbook_2_2010_29 NS n64_a_factbook_2_2010_25->n64_a_factbook_2_2010_29 n64_a_factbook_2_2010_27 ADJ n64_a_factbook_2_2010_26->n64_a_factbook_2_2010_27 n64_a_factbook_2_2010_27->n64_a_factbook_2_2010_28 n64_a_factbook_2_2010_29->n64_a_factbook_2_2010_30 n64_a_factbook_2_2010_31->n64_a_factbook_2_2010_32 n64_a_factbook_2_2010_34 NLYR n64_a_factbook_2_2010_33->n64_a_factbook_2_2010_34 n64_a_factbook_2_2010_35 ADJP n64_a_factbook_2_2010_34->n64_a_factbook_2_2010_35 n64_a_factbook_2_2010_38 N n64_a_factbook_2_2010_34->n64_a_factbook_2_2010_38 n64_a_factbook_2_2010_36 ADJ n64_a_factbook_2_2010_35->n64_a_factbook_2_2010_36 n64_a_factbook_2_2010_36->n64_a_factbook_2_2010_37 n64_a_factbook_2_2010_38->n64_a_factbook_2_2010_39 n64_a_factbook_2_2010_40->n64_a_factbook_2_2010_41 n64_a_factbook_2_2010_43 NLYR n64_a_factbook_2_2010_42->n64_a_factbook_2_2010_43 n64_a_factbook_2_2010_44 NLYR n64_a_factbook_2_2010_43->n64_a_factbook_2_2010_44 n64_a_factbook_2_2010_45 NLYR n64_a_factbook_2_2010_44->n64_a_factbook_2_2010_45 n64_a_factbook_2_2010_51 CONJP n64_a_factbook_2_2010_44->n64_a_factbook_2_2010_51 n64_a_factbook_2_2010_46 ADJP n64_a_factbook_2_2010_45->n64_a_factbook_2_2010_46 n64_a_factbook_2_2010_49 N n64_a_factbook_2_2010_45->n64_a_factbook_2_2010_49 n64_a_factbook_2_2010_47 ADJ n64_a_factbook_2_2010_46->n64_a_factbook_2_2010_47 n64_a_factbook_2_2010_47->n64_a_factbook_2_2010_48 n64_a_factbook_2_2010_49->n64_a_factbook_2_2010_50 n64_a_factbook_2_2010_52 CONJ n64_a_factbook_2_2010_51->n64_a_factbook_2_2010_52 n64_a_factbook_2_2010_54 NLYR n64_a_factbook_2_2010_51->n64_a_factbook_2_2010_54 n64_a_factbook_2_2010_52->n64_a_factbook_2_2010_53 n64_a_factbook_2_2010_55 NS n64_a_factbook_2_2010_54->n64_a_factbook_2_2010_55 n64_a_factbook_2_2010_55->n64_a_factbook_2_2010_56 n64_a_factbook_2_2010_57->n64_a_factbook_2_2010_58 n64_a_factbook_2_2010_60 CONJ n64_a_factbook_2_2010_59->n64_a_factbook_2_2010_60 n64_a_factbook_2_2010_62 NLYR n64_a_factbook_2_2010_59->n64_a_factbook_2_2010_62 n64_a_factbook_2_2010_60->n64_a_factbook_2_2010_61 n64_a_factbook_2_2010_63 D n64_a_factbook_2_2010_62->n64_a_factbook_2_2010_63 n64_a_factbook_2_2010_65 ADJP n64_a_factbook_2_2010_62->n64_a_factbook_2_2010_65 n64_a_factbook_2_2010_68 N n64_a_factbook_2_2010_62->n64_a_factbook_2_2010_68 n64_a_factbook_2_2010_63->n64_a_factbook_2_2010_64 n64_a_factbook_2_2010_66 ADJ n64_a_factbook_2_2010_65->n64_a_factbook_2_2010_66 n64_a_factbook_2_2010_66->n64_a_factbook_2_2010_67 n64_a_factbook_2_2010_68->n64_a_factbook_2_2010_69 n64_a_factbook_2_2010_70->n64_a_factbook_2_2010_71 
( (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))