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.

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


%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] 
arc(r_0095_0002__law,r_0095_0001__Public,attrib).
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,attrib).
arc(r_0095_0008__law,r_0095_0007__administrative,attrib).
arc(r_0095_0011__law,r_0095_0010__criminal,attrib).
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,attrib).
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,attrib).
arc(r_0095_0024__law,r_0095_0023__public,attrib).


%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] 
fof(formula,axiom,
    ? [R_0095_0001__PUBLIC,R_0095_0002__LAW,R_0095_0004__CONSTITUTIONAL,R_0095_0005__LAW,R_0095_0007__ADMINISTRATIVE,R_0095_0008__LAW,R_0095_0010__CRIMINAL,R_0095_0011__LAW,R_0095_0013__PROCESS_R_0095_0014__LAW,R_0095_0016__FINANCIAL,R_0095_0018__TAX,R_0095_0017__AND,R_0095_0019__LAW,R_0095_0022__INTERNATIONAL,R_0095_0023__PUBLIC,R_0095_0024__LAW,R_0095_0021__AND,R_0095_0003__INCLUDES] :
      ( r_0095_0001__Public(R_0095_0001__PUBLIC)
      & r_0095_0004__constitutional(R_0095_0004__CONSTITUTIONAL)
      & r_0095_0007__administrative(R_0095_0007__ADMINISTRATIVE)
      & r_0095_0010__criminal(R_0095_0010__CRIMINAL)
      & r_0095_0013__process_r_0095_0014__law(R_0095_0013__PROCESS_R_0095_0014__LAW)
      & r_0095_0016__financial(R_0095_0016__FINANCIAL)
      & r_0095_0018__tax(R_0095_0018__TAX)
      & r_0095_0022__international(R_0095_0022__INTERNATIONAL)
      & r_0095_0023__public(R_0095_0023__PUBLIC)
      & r_0095_0003__includes(R_0095_0003__INCLUDES)
      & has_arg1(R_0095_0003__INCLUDES,R_0095_0021__AND)
      & r_0095_0021__and(R_0095_0021__AND)
      & has_conj6(R_0095_0021__AND,R_0095_0024__LAW)
      & r_0095_0024__law(R_0095_0024__LAW)
      & has_attrib(R_0095_0024__LAW,R_0095_0023__PUBLIC)
      & has_attrib(R_0095_0024__LAW,R_0095_0022__INTERNATIONAL)
      & has_conj5(R_0095_0021__AND,R_0095_0019__LAW)
      & r_0095_0019__law(R_0095_0019__LAW)
      & has_attrib(R_0095_0019__LAW,R_0095_0017__AND)
      & r_0095_0017__and(R_0095_0017__AND)
      & has_conj2(R_0095_0017__AND,R_0095_0018__TAX)
      & has_conj1(R_0095_0017__AND,R_0095_0016__FINANCIAL)
      & has_conj4(R_0095_0021__AND,R_0095_0013__PROCESS_R_0095_0014__LAW)
      & has_conj3(R_0095_0021__AND,R_0095_0011__LAW)
      & r_0095_0011__law(R_0095_0011__LAW)
      & has_attrib(R_0095_0011__LAW,R_0095_0010__CRIMINAL)
      & has_conj2(R_0095_0021__AND,R_0095_0008__LAW)
      & r_0095_0008__law(R_0095_0008__LAW)
      & has_attrib(R_0095_0008__LAW,R_0095_0007__ADMINISTRATIVE)
      & has_conj1(R_0095_0021__AND,R_0095_0005__LAW)
      & r_0095_0005__law(R_0095_0005__LAW)
      & has_attrib(R_0095_0005__LAW,R_0095_0004__CONSTITUTIONAL)
      & has_arg0(R_0095_0003__INCLUDES,R_0095_0002__LAW)
      & r_0095_0002__law(R_0095_0002__LAW)
      & has_attrib(R_0095_0002__LAW,R_0095_0001__PUBLIC) ) ).