96_a_factbook_2_2010
Private law includes civil law, commercial law, labor law, and international private law.

%3 r_0096_0002__law law r_0096_0001__Private Private r_0096_0002__law->r_0096_0001__Private [attrib] r_0096_0003__includes includes r_0096_0003__includes->r_0096_0002__law [arg0] r_0096_0013__and and r_0096_0003__includes->r_0096_0013__and [arg1] r_0096_0005__law law r_0096_0013__and->r_0096_0005__law [conj1] r_0096_0008__law law r_0096_0013__and->r_0096_0008__law [conj2] r_0096_0010__labor_r_0096_0011__law labor law r_0096_0013__and->r_0096_0010__labor_r_0096_0011__law [conj3] r_0096_0016__law law r_0096_0013__and->r_0096_0016__law [conj4] r_0096_0004__civil civil r_0096_0005__law->r_0096_0004__civil [attrib] r_0096_0007__commercial commercial r_0096_0008__law->r_0096_0007__commercial [attrib] r_0096_0014__international international r_0096_0016__law->r_0096_0014__international [attrib] r_0096_0015__private private r_0096_0016__law->r_0096_0015__private [attrib]
arc(r_0096_0002__law, r_0096_0001__Private, attrib3).
arc(r_0096_0003__includes, r_0096_0002__law, arg0).
arc(r_0096_0003__includes, r_0096_0013__and, arg1).
arc(r_0096_0005__law, r_0096_0004__civil, attrib13).
arc(r_0096_0008__law, r_0096_0007__commercial, attrib22).
arc(r_0096_0013__and, r_0096_0005__law, conj1).
arc(r_0096_0013__and, r_0096_0008__law, conj2).
arc(r_0096_0013__and, r_0096_0010__labor_r_0096_0011__law, conj3).
arc(r_0096_0013__and, r_0096_0016__law, conj4).
arc(r_0096_0016__law, r_0096_0014__international, attrib41).
arc(r_0096_0016__law, r_0096_0015__private, attrib44).



%3 r_0096_0002__law law r_0096_0001__Private Private r_0096_0002__law->r_0096_0001__Private [attrib] r_0096_0003__includes includes r_0096_0003__includes->r_0096_0002__law [arg0] r_0096_0013__and and r_0096_0003__includes->r_0096_0013__and [arg1] r_0096_0005__law law r_0096_0013__and->r_0096_0005__law [conj1] r_0096_0008__law law r_0096_0013__and->r_0096_0008__law [conj2] r_0096_0010__labor_r_0096_0011__law labor law r_0096_0013__and->r_0096_0010__labor_r_0096_0011__law [conj3] r_0096_0016__law law r_0096_0013__and->r_0096_0016__law [conj4] r_0096_0004__civil civil r_0096_0005__law->r_0096_0004__civil [attrib] r_0096_0007__commercial commercial r_0096_0008__law->r_0096_0007__commercial [attrib] r_0096_0014__international international r_0096_0016__law->r_0096_0014__international [attrib] r_0096_0015__private private r_0096_0016__law->r_0096_0015__private [attrib]
fof(formula,axiom,
    ? [R_96_3_INCLUDES,R_96_2_LAW,R_96_1_PRIVATE,R_96_13_AND,R_96_5_LAW,R_96_4_CIVIL,R_96_8_LAW,R_96_7_COMMERCIAL,R_96_10_LABOR_LAW,R_96_16_LAW,R_96_14_INTERNATIONAL,R_96_15_PRIVATE] :
      ( private(R_96_1_PRIVATE)
      & civil(R_96_4_CIVIL)
      & commercial(R_96_7_COMMERCIAL)
      & labor_law(R_96_10_LABOR_LAW)
      & international(R_96_14_INTERNATIONAL)
      & private(R_96_15_PRIVATE)
      & includes(R_96_3_INCLUDES,R_96_2_LAW,R_96_13_AND)
      & law(R_96_2_LAW)
      & attrib3(R_96_2_LAW,R_96_1_PRIVATE)
      & and(R_96_13_AND)
      & conj1(R_96_13_AND,R_96_5_LAW)
      & law(R_96_5_LAW)
      & attrib13(R_96_5_LAW,R_96_4_CIVIL)
      & conj2(R_96_13_AND,R_96_8_LAW)
      & law(R_96_8_LAW)
      & attrib22(R_96_8_LAW,R_96_7_COMMERCIAL)
      & conj3(R_96_13_AND,R_96_10_LABOR_LAW)
      & conj4(R_96_13_AND,R_96_16_LAW)
      & law(R_96_16_LAW)
      & attrib41(R_96_16_LAW,R_96_14_INTERNATIONAL)
      & attrib44(R_96_16_LAW,R_96_15_PRIVATE) ) ).



n96_a_factbook_2_2010 n96_a_factbook_2_2010_5 Private n96_a_factbook_2_2010_7 law n96_a_factbook_2_2010_9 includes n96_a_factbook_2_2010_15 civil n96_a_factbook_2_2010_17 law n96_a_factbook_2_2010_19 , n96_a_factbook_2_2010_24 commercial n96_a_factbook_2_2010_26 law n96_a_factbook_2_2010_28 , n96_a_factbook_2_2010_32 labor n96_a_factbook_2_2010_34 law n96_a_factbook_2_2010_36 , n96_a_factbook_2_2010_39 and n96_a_factbook_2_2010_43 international n96_a_factbook_2_2010_46 private n96_a_factbook_2_2010_48 law n96_a_factbook_2_2010_50 . n96_a_factbook_2_2010_1 IP-MAT n96_a_factbook_2_2010_2 NP-SBJ n96_a_factbook_2_2010_1->n96_a_factbook_2_2010_2 n96_a_factbook_2_2010_8 VBP;__ n96_a_factbook_2_2010_1->n96_a_factbook_2_2010_8 n96_a_factbook_2_2010_10 NP-OB1 n96_a_factbook_2_2010_1->n96_a_factbook_2_2010_10 n96_a_factbook_2_2010_49 PUNC n96_a_factbook_2_2010_1->n96_a_factbook_2_2010_49 n96_a_factbook_2_2010_3 ADJP n96_a_factbook_2_2010_2->n96_a_factbook_2_2010_3 n96_a_factbook_2_2010_6 N n96_a_factbook_2_2010_2->n96_a_factbook_2_2010_6 n96_a_factbook_2_2010_4 ADJ n96_a_factbook_2_2010_3->n96_a_factbook_2_2010_4 n96_a_factbook_2_2010_4->n96_a_factbook_2_2010_5 n96_a_factbook_2_2010_6->n96_a_factbook_2_2010_7 n96_a_factbook_2_2010_8->n96_a_factbook_2_2010_9 n96_a_factbook_2_2010_11 NLYR n96_a_factbook_2_2010_10->n96_a_factbook_2_2010_11 n96_a_factbook_2_2010_12 NLYR n96_a_factbook_2_2010_11->n96_a_factbook_2_2010_12 n96_a_factbook_2_2010_18 PUNC n96_a_factbook_2_2010_11->n96_a_factbook_2_2010_18 n96_a_factbook_2_2010_20 CONJP n96_a_factbook_2_2010_11->n96_a_factbook_2_2010_20 n96_a_factbook_2_2010_27 PUNC n96_a_factbook_2_2010_11->n96_a_factbook_2_2010_27 n96_a_factbook_2_2010_29 CONJP n96_a_factbook_2_2010_11->n96_a_factbook_2_2010_29 n96_a_factbook_2_2010_35 PUNC n96_a_factbook_2_2010_11->n96_a_factbook_2_2010_35 n96_a_factbook_2_2010_37 CONJP n96_a_factbook_2_2010_11->n96_a_factbook_2_2010_37 n96_a_factbook_2_2010_13 ADJP n96_a_factbook_2_2010_12->n96_a_factbook_2_2010_13 n96_a_factbook_2_2010_16 N n96_a_factbook_2_2010_12->n96_a_factbook_2_2010_16 n96_a_factbook_2_2010_14 ADJ n96_a_factbook_2_2010_13->n96_a_factbook_2_2010_14 n96_a_factbook_2_2010_14->n96_a_factbook_2_2010_15 n96_a_factbook_2_2010_16->n96_a_factbook_2_2010_17 n96_a_factbook_2_2010_18->n96_a_factbook_2_2010_19 n96_a_factbook_2_2010_21 NLYR n96_a_factbook_2_2010_20->n96_a_factbook_2_2010_21 n96_a_factbook_2_2010_22 ADJP n96_a_factbook_2_2010_21->n96_a_factbook_2_2010_22 n96_a_factbook_2_2010_25 N n96_a_factbook_2_2010_21->n96_a_factbook_2_2010_25 n96_a_factbook_2_2010_23 ADJ n96_a_factbook_2_2010_22->n96_a_factbook_2_2010_23 n96_a_factbook_2_2010_23->n96_a_factbook_2_2010_24 n96_a_factbook_2_2010_25->n96_a_factbook_2_2010_26 n96_a_factbook_2_2010_27->n96_a_factbook_2_2010_28 n96_a_factbook_2_2010_30 NLYR n96_a_factbook_2_2010_29->n96_a_factbook_2_2010_30 n96_a_factbook_2_2010_31 N n96_a_factbook_2_2010_30->n96_a_factbook_2_2010_31 n96_a_factbook_2_2010_33 N n96_a_factbook_2_2010_30->n96_a_factbook_2_2010_33 n96_a_factbook_2_2010_31->n96_a_factbook_2_2010_32 n96_a_factbook_2_2010_33->n96_a_factbook_2_2010_34 n96_a_factbook_2_2010_35->n96_a_factbook_2_2010_36 n96_a_factbook_2_2010_38 CONJ n96_a_factbook_2_2010_37->n96_a_factbook_2_2010_38 n96_a_factbook_2_2010_40 NLYR n96_a_factbook_2_2010_37->n96_a_factbook_2_2010_40 n96_a_factbook_2_2010_38->n96_a_factbook_2_2010_39 n96_a_factbook_2_2010_41 ADJP n96_a_factbook_2_2010_40->n96_a_factbook_2_2010_41 n96_a_factbook_2_2010_44 ADJP n96_a_factbook_2_2010_40->n96_a_factbook_2_2010_44 n96_a_factbook_2_2010_47 N n96_a_factbook_2_2010_40->n96_a_factbook_2_2010_47 n96_a_factbook_2_2010_42 ADJ n96_a_factbook_2_2010_41->n96_a_factbook_2_2010_42 n96_a_factbook_2_2010_42->n96_a_factbook_2_2010_43 n96_a_factbook_2_2010_45 ADJ n96_a_factbook_2_2010_44->n96_a_factbook_2_2010_45 n96_a_factbook_2_2010_45->n96_a_factbook_2_2010_46 n96_a_factbook_2_2010_47->n96_a_factbook_2_2010_48 n96_a_factbook_2_2010_49->n96_a_factbook_2_2010_50
( (IP-MAT (NP-SBJ (ADJP (ADJ Private;{private}))
                  (N law;{law}))
          (VBP;__ includes;{include})
          (NP-OB1 (NLYR (NLYR (ADJP (ADJ civil;{civil}))
                              (N law;{law}))
                        (PUNC ,)
                        (CONJP (NLYR (ADJP (ADJ commercial;{commercial}))
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (NLYR (N labor;{labor})
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (ADJP (ADJ international;{international}))
                                     (ADJP (ADJ private;{private}))
                                     (N law;{law})))))
          (PUNC .))
  (ID 96_a_factbook_2_2010))