Context                Previous, Next                Top


95_a_factbook_2_2010
Public law includes constitutional law, administrative law, criminal law, process law, financial and tax law, and international public law.

%3 r_0095_0002__law law r_0095_0001__Public Public r_0095_0002__law->r_0095_0001__Public [attrib] r_0095_0003__includes includes r_0095_0003__includes->r_0095_0002__law [arg0] r_0095_0021__and and r_0095_0003__includes->r_0095_0021__and [arg1] r_0095_0005__law law r_0095_0021__and->r_0095_0005__law [conj1] r_0095_0008__law law r_0095_0021__and->r_0095_0008__law [conj2] r_0095_0011__law law r_0095_0021__and->r_0095_0011__law [conj3] r_0095_0019__law law r_0095_0021__and->r_0095_0019__law [conj5] r_0095_0013__process_r_0095_0014__law process law r_0095_0021__and->r_0095_0013__process_r_0095_0014__law [conj4] r_0095_0024__law law r_0095_0021__and->r_0095_0024__law [conj6] r_0095_0004__constitutional constitutional r_0095_0005__law->r_0095_0004__constitutional [attrib] r_0095_0007__administrative administrative r_0095_0008__law->r_0095_0007__administrative [attrib] r_0095_0010__criminal criminal r_0095_0011__law->r_0095_0010__criminal [attrib] r_0095_0017__and and r_0095_0016__financial financial r_0095_0017__and->r_0095_0016__financial [conj1] r_0095_0018__tax tax r_0095_0017__and->r_0095_0018__tax [conj2] r_0095_0019__law->r_0095_0017__and [attrib] r_0095_0022__international international r_0095_0024__law->r_0095_0022__international [attrib] r_0095_0023__public public r_0095_0024__law->r_0095_0023__public [attrib] 
arc(r_0095_0002__law, r_0095_0001__Public, attrib3).
arc(r_0095_0003__includes, r_0095_0002__law, arg0).
arc(r_0095_0003__includes, r_0095_0021__and, arg1).
arc(r_0095_0005__law, r_0095_0004__constitutional, attrib13).
arc(r_0095_0008__law, r_0095_0007__administrative, attrib22).
arc(r_0095_0011__law, r_0095_0010__criminal, attrib31).
arc(r_0095_0017__and, r_0095_0016__financial, conj1).
arc(r_0095_0017__and, r_0095_0018__tax, conj2).
arc(r_0095_0019__law, r_0095_0017__and, attrib48).
arc(r_0095_0021__and, r_0095_0005__law, conj1).
arc(r_0095_0021__and, r_0095_0008__law, conj2).
arc(r_0095_0021__and, r_0095_0011__law, conj3).
arc(r_0095_0021__and, r_0095_0013__process_r_0095_0014__law, conj4).
arc(r_0095_0021__and, r_0095_0019__law, conj5).
arc(r_0095_0021__and, r_0095_0024__law, conj6).
arc(r_0095_0024__law, r_0095_0022__international, attrib67).
arc(r_0095_0024__law, r_0095_0023__public, attrib70).


%3 r_0095_0024__law law r_0095_0023__public public r_0095_0024__law->r_0095_0023__public [attrib] r_0095_0022__international international r_0095_0024__law->r_0095_0022__international [attrib] r_0095_0021__and and r_0095_0021__and->r_0095_0024__law [conj6] r_0095_0019__law law r_0095_0021__and->r_0095_0019__law [conj5] r_0095_0013__process_r_0095_0014__law process law r_0095_0021__and->r_0095_0013__process_r_0095_0014__law [conj4] r_0095_0011__law law r_0095_0021__and->r_0095_0011__law [conj3] r_0095_0008__law law r_0095_0021__and->r_0095_0008__law [conj2] r_0095_0005__law law r_0095_0021__and->r_0095_0005__law [conj1] r_0095_0017__and and r_0095_0019__law->r_0095_0017__and [attrib] r_0095_0010__criminal criminal r_0095_0011__law->r_0095_0010__criminal [attrib] r_0095_0007__administrative administrative r_0095_0008__law->r_0095_0007__administrative [attrib] r_0095_0004__constitutional constitutional r_0095_0005__law->r_0095_0004__constitutional [attrib] r_0095_0018__tax tax r_0095_0017__and->r_0095_0018__tax [conj2] r_0095_0016__financial financial r_0095_0017__and->r_0095_0016__financial [conj1] r_0095_0003__includes includes r_0095_0003__includes->r_0095_0021__and [arg1] r_0095_0002__law law r_0095_0003__includes->r_0095_0002__law [arg0] r_0095_0001__Public Public r_0095_0002__law->r_0095_0001__Public [attrib] 
fof(formula,axiom,
    ? [R_95_3_INCLUDES,R_95_2_LAW,R_95_1_PUBLIC,R_95_21_AND,R_95_5_LAW,R_95_4_CONSTITUTIONAL,R_95_8_LAW,R_95_7_ADMINISTRATIVE,R_95_11_LAW,R_95_10_CRIMINAL,R_95_13_PROCESS_LAW,R_95_19_LAW,R_95_17_AND,R_95_16_FINANCIAL,R_95_18_TAX,R_95_24_LAW,R_95_22_INTERNATIONAL,R_95_23_PUBLIC] :
      ( public(R_95_1_PUBLIC)
      & constitutional(R_95_4_CONSTITUTIONAL)
      & administrative(R_95_7_ADMINISTRATIVE)
      & criminal(R_95_10_CRIMINAL)
      & process_law(R_95_13_PROCESS_LAW)
      & financial(R_95_16_FINANCIAL)
      & tax(R_95_18_TAX)
      & international(R_95_22_INTERNATIONAL)
      & public(R_95_23_PUBLIC)
      & includes(R_95_3_INCLUDES,R_95_2_LAW,R_95_21_AND)
      & law(R_95_2_LAW)
      & attrib3(R_95_2_LAW,R_95_1_PUBLIC)
      & and(R_95_21_AND)
      & conj1(R_95_21_AND,R_95_5_LAW)
      & law(R_95_5_LAW)
      & attrib13(R_95_5_LAW,R_95_4_CONSTITUTIONAL)
      & conj2(R_95_21_AND,R_95_8_LAW)
      & law(R_95_8_LAW)
      & attrib22(R_95_8_LAW,R_95_7_ADMINISTRATIVE)
      & conj3(R_95_21_AND,R_95_11_LAW)
      & law(R_95_11_LAW)
      & attrib31(R_95_11_LAW,R_95_10_CRIMINAL)
      & conj4(R_95_21_AND,R_95_13_PROCESS_LAW)
      & conj5(R_95_21_AND,R_95_19_LAW)
      & law(R_95_19_LAW)
      & attrib48(R_95_19_LAW,R_95_17_AND)
      & and(R_95_17_AND)
      & conj1(R_95_17_AND,R_95_16_FINANCIAL)
      & conj2(R_95_17_AND,R_95_18_TAX)
      & conj6(R_95_21_AND,R_95_24_LAW)
      & law(R_95_24_LAW)
      & attrib67(R_95_24_LAW,R_95_22_INTERNATIONAL)
      & attrib70(R_95_24_LAW,R_95_23_PUBLIC) ) ).


n95_a_factbook_2_2010 n95_a_factbook_2_2010__1_1_1_1_1 Public n95_a_factbook_2_2010__1_1_2_1 law n95_a_factbook_2_2010__1_2_1 includes n95_a_factbook_2_2010__1_3_1_1_1_1_1 constitutional n95_a_factbook_2_2010__1_3_1_1_2_1 law n95_a_factbook_2_2010__1_3_1_2_1 , n95_a_factbook_2_2010__1_3_1_3_1_1_1_1 administrative n95_a_factbook_2_2010__1_3_1_3_1_2_1 law n95_a_factbook_2_2010__1_3_1_4_1 , n95_a_factbook_2_2010__1_3_1_5_1_1_1_1 criminal n95_a_factbook_2_2010__1_3_1_5_1_2_1 law n95_a_factbook_2_2010__1_3_1_6_1 , n95_a_factbook_2_2010__1_3_1_7_1_1_1 process n95_a_factbook_2_2010__1_3_1_7_1_2_1 law n95_a_factbook_2_2010__1_3_1_8_1 , n95_a_factbook_2_2010__1_3_1_9_1_1_1_1_1_1 financial n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_1_1 and n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_2_1_1 tax n95_a_factbook_2_2010__1_3_1_9_1_2_1 law n95_a_factbook_2_2010__1_3_1_10_1 , n95_a_factbook_2_2010__1_3_1_11_1_1 and n95_a_factbook_2_2010__1_3_1_11_2_1_1_1 international n95_a_factbook_2_2010__1_3_1_11_2_2_1_1 public n95_a_factbook_2_2010__1_3_1_11_2_3_1 law n95_a_factbook_2_2010__1_4_1 . n95_a_factbook_2_2010__1 IP-MAT n95_a_factbook_2_2010__1_1 NP-SBJ n95_a_factbook_2_2010__1->n95_a_factbook_2_2010__1_1 n95_a_factbook_2_2010__1_2 VBP;__ n95_a_factbook_2_2010__1->n95_a_factbook_2_2010__1_2 n95_a_factbook_2_2010__1_3 NP-OB1 n95_a_factbook_2_2010__1->n95_a_factbook_2_2010__1_3 n95_a_factbook_2_2010__1_4 PUNC n95_a_factbook_2_2010__1->n95_a_factbook_2_2010__1_4 n95_a_factbook_2_2010__1_1_1 ADJP n95_a_factbook_2_2010__1_1->n95_a_factbook_2_2010__1_1_1 n95_a_factbook_2_2010__1_1_2 N n95_a_factbook_2_2010__1_1->n95_a_factbook_2_2010__1_1_2 n95_a_factbook_2_2010__1_1_1_1 ADJ n95_a_factbook_2_2010__1_1_1->n95_a_factbook_2_2010__1_1_1_1 n95_a_factbook_2_2010__1_1_1_1->n95_a_factbook_2_2010__1_1_1_1_1 n95_a_factbook_2_2010__1_1_2->n95_a_factbook_2_2010__1_1_2_1 n95_a_factbook_2_2010__1_2->n95_a_factbook_2_2010__1_2_1 n95_a_factbook_2_2010__1_3_1 NLYR n95_a_factbook_2_2010__1_3->n95_a_factbook_2_2010__1_3_1 n95_a_factbook_2_2010__1_3_1_1 NLYR n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_1 n95_a_factbook_2_2010__1_3_1_2 PUNC n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_2 n95_a_factbook_2_2010__1_3_1_3 CONJP n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_3 n95_a_factbook_2_2010__1_3_1_4 PUNC n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_4 n95_a_factbook_2_2010__1_3_1_5 CONJP n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_5 n95_a_factbook_2_2010__1_3_1_6 PUNC n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_6 n95_a_factbook_2_2010__1_3_1_7 CONJP n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_7 n95_a_factbook_2_2010__1_3_1_8 PUNC n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_8 n95_a_factbook_2_2010__1_3_1_9 CONJP n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_9 n95_a_factbook_2_2010__1_3_1_10 PUNC n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_10 n95_a_factbook_2_2010__1_3_1_11 CONJP n95_a_factbook_2_2010__1_3_1->n95_a_factbook_2_2010__1_3_1_11 n95_a_factbook_2_2010__1_3_1_1_1 ADJP n95_a_factbook_2_2010__1_3_1_1->n95_a_factbook_2_2010__1_3_1_1_1 n95_a_factbook_2_2010__1_3_1_1_2 N n95_a_factbook_2_2010__1_3_1_1->n95_a_factbook_2_2010__1_3_1_1_2 n95_a_factbook_2_2010__1_3_1_1_1_1 ADJ n95_a_factbook_2_2010__1_3_1_1_1->n95_a_factbook_2_2010__1_3_1_1_1_1 n95_a_factbook_2_2010__1_3_1_1_1_1->n95_a_factbook_2_2010__1_3_1_1_1_1_1 n95_a_factbook_2_2010__1_3_1_1_2->n95_a_factbook_2_2010__1_3_1_1_2_1 n95_a_factbook_2_2010__1_3_1_2->n95_a_factbook_2_2010__1_3_1_2_1 n95_a_factbook_2_2010__1_3_1_3_1 NLYR n95_a_factbook_2_2010__1_3_1_3->n95_a_factbook_2_2010__1_3_1_3_1 n95_a_factbook_2_2010__1_3_1_3_1_1 ADJP n95_a_factbook_2_2010__1_3_1_3_1->n95_a_factbook_2_2010__1_3_1_3_1_1 n95_a_factbook_2_2010__1_3_1_3_1_2 N n95_a_factbook_2_2010__1_3_1_3_1->n95_a_factbook_2_2010__1_3_1_3_1_2 n95_a_factbook_2_2010__1_3_1_3_1_1_1 ADJ n95_a_factbook_2_2010__1_3_1_3_1_1->n95_a_factbook_2_2010__1_3_1_3_1_1_1 n95_a_factbook_2_2010__1_3_1_3_1_1_1->n95_a_factbook_2_2010__1_3_1_3_1_1_1_1 n95_a_factbook_2_2010__1_3_1_3_1_2->n95_a_factbook_2_2010__1_3_1_3_1_2_1 n95_a_factbook_2_2010__1_3_1_4->n95_a_factbook_2_2010__1_3_1_4_1 n95_a_factbook_2_2010__1_3_1_5_1 NLYR n95_a_factbook_2_2010__1_3_1_5->n95_a_factbook_2_2010__1_3_1_5_1 n95_a_factbook_2_2010__1_3_1_5_1_1 ADJP n95_a_factbook_2_2010__1_3_1_5_1->n95_a_factbook_2_2010__1_3_1_5_1_1 n95_a_factbook_2_2010__1_3_1_5_1_2 N n95_a_factbook_2_2010__1_3_1_5_1->n95_a_factbook_2_2010__1_3_1_5_1_2 n95_a_factbook_2_2010__1_3_1_5_1_1_1 ADJ n95_a_factbook_2_2010__1_3_1_5_1_1->n95_a_factbook_2_2010__1_3_1_5_1_1_1 n95_a_factbook_2_2010__1_3_1_5_1_1_1->n95_a_factbook_2_2010__1_3_1_5_1_1_1_1 n95_a_factbook_2_2010__1_3_1_5_1_2->n95_a_factbook_2_2010__1_3_1_5_1_2_1 n95_a_factbook_2_2010__1_3_1_6->n95_a_factbook_2_2010__1_3_1_6_1 n95_a_factbook_2_2010__1_3_1_7_1 NLYR n95_a_factbook_2_2010__1_3_1_7->n95_a_factbook_2_2010__1_3_1_7_1 n95_a_factbook_2_2010__1_3_1_7_1_1 N n95_a_factbook_2_2010__1_3_1_7_1->n95_a_factbook_2_2010__1_3_1_7_1_1 n95_a_factbook_2_2010__1_3_1_7_1_2 N n95_a_factbook_2_2010__1_3_1_7_1->n95_a_factbook_2_2010__1_3_1_7_1_2 n95_a_factbook_2_2010__1_3_1_7_1_1->n95_a_factbook_2_2010__1_3_1_7_1_1_1 n95_a_factbook_2_2010__1_3_1_7_1_2->n95_a_factbook_2_2010__1_3_1_7_1_2_1 n95_a_factbook_2_2010__1_3_1_8->n95_a_factbook_2_2010__1_3_1_8_1 n95_a_factbook_2_2010__1_3_1_9_1 NLYR n95_a_factbook_2_2010__1_3_1_9->n95_a_factbook_2_2010__1_3_1_9_1 n95_a_factbook_2_2010__1_3_1_9_1_1 ADJP n95_a_factbook_2_2010__1_3_1_9_1->n95_a_factbook_2_2010__1_3_1_9_1_1 n95_a_factbook_2_2010__1_3_1_9_1_2 N n95_a_factbook_2_2010__1_3_1_9_1->n95_a_factbook_2_2010__1_3_1_9_1_2 n95_a_factbook_2_2010__1_3_1_9_1_1_1 AJLYR n95_a_factbook_2_2010__1_3_1_9_1_1->n95_a_factbook_2_2010__1_3_1_9_1_1_1 n95_a_factbook_2_2010__1_3_1_9_1_1_1_1 AJLYR n95_a_factbook_2_2010__1_3_1_9_1_1_1->n95_a_factbook_2_2010__1_3_1_9_1_1_1_1 n95_a_factbook_2_2010__1_3_1_9_1_1_1_2 CONJP n95_a_factbook_2_2010__1_3_1_9_1_1_1->n95_a_factbook_2_2010__1_3_1_9_1_1_1_2 n95_a_factbook_2_2010__1_3_1_9_1_1_1_1_1 ADJ n95_a_factbook_2_2010__1_3_1_9_1_1_1_1->n95_a_factbook_2_2010__1_3_1_9_1_1_1_1_1 n95_a_factbook_2_2010__1_3_1_9_1_1_1_1_1->n95_a_factbook_2_2010__1_3_1_9_1_1_1_1_1_1 n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_1 CONJ n95_a_factbook_2_2010__1_3_1_9_1_1_1_2->n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_1 n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_2 AJLYR n95_a_factbook_2_2010__1_3_1_9_1_1_1_2->n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_2 n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_1->n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_1_1 n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_2_1 ADJ n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_2->n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_2_1 n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_2_1->n95_a_factbook_2_2010__1_3_1_9_1_1_1_2_2_1_1 n95_a_factbook_2_2010__1_3_1_9_1_2->n95_a_factbook_2_2010__1_3_1_9_1_2_1 n95_a_factbook_2_2010__1_3_1_10->n95_a_factbook_2_2010__1_3_1_10_1 n95_a_factbook_2_2010__1_3_1_11_1 CONJ n95_a_factbook_2_2010__1_3_1_11->n95_a_factbook_2_2010__1_3_1_11_1 n95_a_factbook_2_2010__1_3_1_11_2 NLYR n95_a_factbook_2_2010__1_3_1_11->n95_a_factbook_2_2010__1_3_1_11_2 n95_a_factbook_2_2010__1_3_1_11_1->n95_a_factbook_2_2010__1_3_1_11_1_1 n95_a_factbook_2_2010__1_3_1_11_2_1 ADJP n95_a_factbook_2_2010__1_3_1_11_2->n95_a_factbook_2_2010__1_3_1_11_2_1 n95_a_factbook_2_2010__1_3_1_11_2_2 ADJP n95_a_factbook_2_2010__1_3_1_11_2->n95_a_factbook_2_2010__1_3_1_11_2_2 n95_a_factbook_2_2010__1_3_1_11_2_3 N n95_a_factbook_2_2010__1_3_1_11_2->n95_a_factbook_2_2010__1_3_1_11_2_3 n95_a_factbook_2_2010__1_3_1_11_2_1_1 ADJ n95_a_factbook_2_2010__1_3_1_11_2_1->n95_a_factbook_2_2010__1_3_1_11_2_1_1 n95_a_factbook_2_2010__1_3_1_11_2_1_1->n95_a_factbook_2_2010__1_3_1_11_2_1_1_1 n95_a_factbook_2_2010__1_3_1_11_2_2_1 ADJ n95_a_factbook_2_2010__1_3_1_11_2_2->n95_a_factbook_2_2010__1_3_1_11_2_2_1 n95_a_factbook_2_2010__1_3_1_11_2_2_1->n95_a_factbook_2_2010__1_3_1_11_2_2_1_1 n95_a_factbook_2_2010__1_3_1_11_2_3->n95_a_factbook_2_2010__1_3_1_11_2_3_1 n95_a_factbook_2_2010__1_4->n95_a_factbook_2_2010__1_4_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Public;{public}))
                  (N law;{law}))
          (VBP;__ includes;{include})
          (NP-OB1 (NLYR (NLYR (ADJP (ADJ constitutional;{constitutional}))
                              (N law;{law}))
                        (PUNC ,)
                        (CONJP (NLYR (ADJP (ADJ administrative;{administrative}))
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (NLYR (ADJP (ADJ criminal;{criminal}))
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (NLYR (N process;{process})
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (NLYR (ADJP (AJLYR (AJLYR (ADJ financial;{financial}))
                                                  (CONJP (CONJ and;{and})
                                                         (AJLYR (ADJ tax;{tax})))))
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (ADJP (ADJ international;{international}))
                                     (ADJP (ADJ public;{public}))
                                     (N law;{law})))))
          (PUNC .))
  (ID 95_a_factbook_2_2010))