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_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_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_5 Public n95_a_factbook_2_2010_7 law n95_a_factbook_2_2010_9 includes n95_a_factbook_2_2010_15 constitutional n95_a_factbook_2_2010_17 law n95_a_factbook_2_2010_19 , n95_a_factbook_2_2010_24 administrative n95_a_factbook_2_2010_26 law n95_a_factbook_2_2010_28 , n95_a_factbook_2_2010_33 criminal n95_a_factbook_2_2010_35 law n95_a_factbook_2_2010_37 , n95_a_factbook_2_2010_41 process n95_a_factbook_2_2010_43 law n95_a_factbook_2_2010_45 , n95_a_factbook_2_2010_52 financial n95_a_factbook_2_2010_55 and n95_a_factbook_2_2010_58 tax n95_a_factbook_2_2010_60 law n95_a_factbook_2_2010_62 , n95_a_factbook_2_2010_65 and n95_a_factbook_2_2010_69 international n95_a_factbook_2_2010_72 public n95_a_factbook_2_2010_74 law n95_a_factbook_2_2010_76 . n95_a_factbook_2_2010_1 IP-MAT n95_a_factbook_2_2010_2 NP-SBJ n95_a_factbook_2_2010_1->n95_a_factbook_2_2010_2 n95_a_factbook_2_2010_8 VBP;__ n95_a_factbook_2_2010_1->n95_a_factbook_2_2010_8 n95_a_factbook_2_2010_10 NP-OB1 n95_a_factbook_2_2010_1->n95_a_factbook_2_2010_10 n95_a_factbook_2_2010_75 PUNC n95_a_factbook_2_2010_1->n95_a_factbook_2_2010_75 n95_a_factbook_2_2010_3 ADJP n95_a_factbook_2_2010_2->n95_a_factbook_2_2010_3 n95_a_factbook_2_2010_6 N n95_a_factbook_2_2010_2->n95_a_factbook_2_2010_6 n95_a_factbook_2_2010_4 ADJ n95_a_factbook_2_2010_3->n95_a_factbook_2_2010_4 n95_a_factbook_2_2010_4->n95_a_factbook_2_2010_5 n95_a_factbook_2_2010_6->n95_a_factbook_2_2010_7 n95_a_factbook_2_2010_8->n95_a_factbook_2_2010_9 n95_a_factbook_2_2010_11 NLYR n95_a_factbook_2_2010_10->n95_a_factbook_2_2010_11 n95_a_factbook_2_2010_12 NLYR n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_12 n95_a_factbook_2_2010_18 PUNC n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_18 n95_a_factbook_2_2010_20 CONJP n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_20 n95_a_factbook_2_2010_27 PUNC n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_27 n95_a_factbook_2_2010_29 CONJP n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_29 n95_a_factbook_2_2010_36 PUNC n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_36 n95_a_factbook_2_2010_38 CONJP n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_38 n95_a_factbook_2_2010_44 PUNC n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_44 n95_a_factbook_2_2010_46 CONJP n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_46 n95_a_factbook_2_2010_61 PUNC n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_61 n95_a_factbook_2_2010_63 CONJP n95_a_factbook_2_2010_11->n95_a_factbook_2_2010_63 n95_a_factbook_2_2010_13 ADJP n95_a_factbook_2_2010_12->n95_a_factbook_2_2010_13 n95_a_factbook_2_2010_16 N n95_a_factbook_2_2010_12->n95_a_factbook_2_2010_16 n95_a_factbook_2_2010_14 ADJ n95_a_factbook_2_2010_13->n95_a_factbook_2_2010_14 n95_a_factbook_2_2010_14->n95_a_factbook_2_2010_15 n95_a_factbook_2_2010_16->n95_a_factbook_2_2010_17 n95_a_factbook_2_2010_18->n95_a_factbook_2_2010_19 n95_a_factbook_2_2010_21 NLYR n95_a_factbook_2_2010_20->n95_a_factbook_2_2010_21 n95_a_factbook_2_2010_22 ADJP n95_a_factbook_2_2010_21->n95_a_factbook_2_2010_22 n95_a_factbook_2_2010_25 N n95_a_factbook_2_2010_21->n95_a_factbook_2_2010_25 n95_a_factbook_2_2010_23 ADJ n95_a_factbook_2_2010_22->n95_a_factbook_2_2010_23 n95_a_factbook_2_2010_23->n95_a_factbook_2_2010_24 n95_a_factbook_2_2010_25->n95_a_factbook_2_2010_26 n95_a_factbook_2_2010_27->n95_a_factbook_2_2010_28 n95_a_factbook_2_2010_30 NLYR n95_a_factbook_2_2010_29->n95_a_factbook_2_2010_30 n95_a_factbook_2_2010_31 ADJP n95_a_factbook_2_2010_30->n95_a_factbook_2_2010_31 n95_a_factbook_2_2010_34 N n95_a_factbook_2_2010_30->n95_a_factbook_2_2010_34 n95_a_factbook_2_2010_32 ADJ n95_a_factbook_2_2010_31->n95_a_factbook_2_2010_32 n95_a_factbook_2_2010_32->n95_a_factbook_2_2010_33 n95_a_factbook_2_2010_34->n95_a_factbook_2_2010_35 n95_a_factbook_2_2010_36->n95_a_factbook_2_2010_37 n95_a_factbook_2_2010_39 NLYR n95_a_factbook_2_2010_38->n95_a_factbook_2_2010_39 n95_a_factbook_2_2010_40 N n95_a_factbook_2_2010_39->n95_a_factbook_2_2010_40 n95_a_factbook_2_2010_42 N n95_a_factbook_2_2010_39->n95_a_factbook_2_2010_42 n95_a_factbook_2_2010_40->n95_a_factbook_2_2010_41 n95_a_factbook_2_2010_42->n95_a_factbook_2_2010_43 n95_a_factbook_2_2010_44->n95_a_factbook_2_2010_45 n95_a_factbook_2_2010_47 NLYR n95_a_factbook_2_2010_46->n95_a_factbook_2_2010_47 n95_a_factbook_2_2010_48 ADJP n95_a_factbook_2_2010_47->n95_a_factbook_2_2010_48 n95_a_factbook_2_2010_59 N n95_a_factbook_2_2010_47->n95_a_factbook_2_2010_59 n95_a_factbook_2_2010_49 AJLYR n95_a_factbook_2_2010_48->n95_a_factbook_2_2010_49 n95_a_factbook_2_2010_50 AJLYR n95_a_factbook_2_2010_49->n95_a_factbook_2_2010_50 n95_a_factbook_2_2010_53 CONJP n95_a_factbook_2_2010_49->n95_a_factbook_2_2010_53 n95_a_factbook_2_2010_51 ADJ n95_a_factbook_2_2010_50->n95_a_factbook_2_2010_51 n95_a_factbook_2_2010_51->n95_a_factbook_2_2010_52 n95_a_factbook_2_2010_54 CONJ n95_a_factbook_2_2010_53->n95_a_factbook_2_2010_54 n95_a_factbook_2_2010_56 AJLYR n95_a_factbook_2_2010_53->n95_a_factbook_2_2010_56 n95_a_factbook_2_2010_54->n95_a_factbook_2_2010_55 n95_a_factbook_2_2010_57 ADJ n95_a_factbook_2_2010_56->n95_a_factbook_2_2010_57 n95_a_factbook_2_2010_57->n95_a_factbook_2_2010_58 n95_a_factbook_2_2010_59->n95_a_factbook_2_2010_60 n95_a_factbook_2_2010_61->n95_a_factbook_2_2010_62 n95_a_factbook_2_2010_64 CONJ n95_a_factbook_2_2010_63->n95_a_factbook_2_2010_64 n95_a_factbook_2_2010_66 NLYR n95_a_factbook_2_2010_63->n95_a_factbook_2_2010_66 n95_a_factbook_2_2010_64->n95_a_factbook_2_2010_65 n95_a_factbook_2_2010_67 ADJP n95_a_factbook_2_2010_66->n95_a_factbook_2_2010_67 n95_a_factbook_2_2010_70 ADJP n95_a_factbook_2_2010_66->n95_a_factbook_2_2010_70 n95_a_factbook_2_2010_73 N n95_a_factbook_2_2010_66->n95_a_factbook_2_2010_73 n95_a_factbook_2_2010_68 ADJ n95_a_factbook_2_2010_67->n95_a_factbook_2_2010_68 n95_a_factbook_2_2010_68->n95_a_factbook_2_2010_69 n95_a_factbook_2_2010_71 ADJ n95_a_factbook_2_2010_70->n95_a_factbook_2_2010_71 n95_a_factbook_2_2010_71->n95_a_factbook_2_2010_72 n95_a_factbook_2_2010_73->n95_a_factbook_2_2010_74 n95_a_factbook_2_2010_75->n95_a_factbook_2_2010_76 
( (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))