Context                Previous, Next                Top


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_0016__law law r_0096_0015__private private r_0096_0016__law->r_0096_0015__private [attrib] r_0096_0014__international international r_0096_0016__law->r_0096_0014__international [attrib] r_0096_0013__and and r_0096_0013__and->r_0096_0016__law [conj4] 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_0008__law law r_0096_0013__and->r_0096_0008__law [conj2] r_0096_0005__law law r_0096_0013__and->r_0096_0005__law [conj1] r_0096_0007__commercial commercial r_0096_0008__law->r_0096_0007__commercial [attrib] r_0096_0004__civil civil r_0096_0005__law->r_0096_0004__civil [attrib] r_0096_0003__includes includes r_0096_0003__includes->r_0096_0013__and [arg1] r_0096_0002__law law r_0096_0003__includes->r_0096_0002__law [arg0] r_0096_0001__Private Private r_0096_0002__law->r_0096_0001__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__1_1_1_1_1 Private n96_a_factbook_2_2010__1_1_2_1 law n96_a_factbook_2_2010__1_2_1 includes n96_a_factbook_2_2010__1_3_1_1_1_1_1 civil n96_a_factbook_2_2010__1_3_1_1_2_1 law n96_a_factbook_2_2010__1_3_1_2_1 , n96_a_factbook_2_2010__1_3_1_3_1_1_1_1 commercial n96_a_factbook_2_2010__1_3_1_3_1_2_1 law n96_a_factbook_2_2010__1_3_1_4_1 , n96_a_factbook_2_2010__1_3_1_5_1_1_1 labor n96_a_factbook_2_2010__1_3_1_5_1_2_1 law n96_a_factbook_2_2010__1_3_1_6_1 , n96_a_factbook_2_2010__1_3_1_7_1_1 and n96_a_factbook_2_2010__1_3_1_7_2_1_1_1 international n96_a_factbook_2_2010__1_3_1_7_2_2_1_1 private n96_a_factbook_2_2010__1_3_1_7_2_3_1 law n96_a_factbook_2_2010__1_4_1 . n96_a_factbook_2_2010__1 IP-MAT n96_a_factbook_2_2010__1_1 NP-SBJ n96_a_factbook_2_2010__1->n96_a_factbook_2_2010__1_1 n96_a_factbook_2_2010__1_2 VBP;__ n96_a_factbook_2_2010__1->n96_a_factbook_2_2010__1_2 n96_a_factbook_2_2010__1_3 NP-OB1 n96_a_factbook_2_2010__1->n96_a_factbook_2_2010__1_3 n96_a_factbook_2_2010__1_4 PUNC n96_a_factbook_2_2010__1->n96_a_factbook_2_2010__1_4 n96_a_factbook_2_2010__1_1_1 ADJP n96_a_factbook_2_2010__1_1->n96_a_factbook_2_2010__1_1_1 n96_a_factbook_2_2010__1_1_2 N n96_a_factbook_2_2010__1_1->n96_a_factbook_2_2010__1_1_2 n96_a_factbook_2_2010__1_1_1_1 ADJ n96_a_factbook_2_2010__1_1_1->n96_a_factbook_2_2010__1_1_1_1 n96_a_factbook_2_2010__1_1_1_1->n96_a_factbook_2_2010__1_1_1_1_1 n96_a_factbook_2_2010__1_1_2->n96_a_factbook_2_2010__1_1_2_1 n96_a_factbook_2_2010__1_2->n96_a_factbook_2_2010__1_2_1 n96_a_factbook_2_2010__1_3_1 NLYR n96_a_factbook_2_2010__1_3->n96_a_factbook_2_2010__1_3_1 n96_a_factbook_2_2010__1_3_1_1 NLYR n96_a_factbook_2_2010__1_3_1->n96_a_factbook_2_2010__1_3_1_1 n96_a_factbook_2_2010__1_3_1_2 PUNC n96_a_factbook_2_2010__1_3_1->n96_a_factbook_2_2010__1_3_1_2 n96_a_factbook_2_2010__1_3_1_3 CONJP n96_a_factbook_2_2010__1_3_1->n96_a_factbook_2_2010__1_3_1_3 n96_a_factbook_2_2010__1_3_1_4 PUNC n96_a_factbook_2_2010__1_3_1->n96_a_factbook_2_2010__1_3_1_4 n96_a_factbook_2_2010__1_3_1_5 CONJP n96_a_factbook_2_2010__1_3_1->n96_a_factbook_2_2010__1_3_1_5 n96_a_factbook_2_2010__1_3_1_6 PUNC n96_a_factbook_2_2010__1_3_1->n96_a_factbook_2_2010__1_3_1_6 n96_a_factbook_2_2010__1_3_1_7 CONJP n96_a_factbook_2_2010__1_3_1->n96_a_factbook_2_2010__1_3_1_7 n96_a_factbook_2_2010__1_3_1_1_1 ADJP n96_a_factbook_2_2010__1_3_1_1->n96_a_factbook_2_2010__1_3_1_1_1 n96_a_factbook_2_2010__1_3_1_1_2 N n96_a_factbook_2_2010__1_3_1_1->n96_a_factbook_2_2010__1_3_1_1_2 n96_a_factbook_2_2010__1_3_1_1_1_1 ADJ n96_a_factbook_2_2010__1_3_1_1_1->n96_a_factbook_2_2010__1_3_1_1_1_1 n96_a_factbook_2_2010__1_3_1_1_1_1->n96_a_factbook_2_2010__1_3_1_1_1_1_1 n96_a_factbook_2_2010__1_3_1_1_2->n96_a_factbook_2_2010__1_3_1_1_2_1 n96_a_factbook_2_2010__1_3_1_2->n96_a_factbook_2_2010__1_3_1_2_1 n96_a_factbook_2_2010__1_3_1_3_1 NLYR n96_a_factbook_2_2010__1_3_1_3->n96_a_factbook_2_2010__1_3_1_3_1 n96_a_factbook_2_2010__1_3_1_3_1_1 ADJP n96_a_factbook_2_2010__1_3_1_3_1->n96_a_factbook_2_2010__1_3_1_3_1_1 n96_a_factbook_2_2010__1_3_1_3_1_2 N n96_a_factbook_2_2010__1_3_1_3_1->n96_a_factbook_2_2010__1_3_1_3_1_2 n96_a_factbook_2_2010__1_3_1_3_1_1_1 ADJ n96_a_factbook_2_2010__1_3_1_3_1_1->n96_a_factbook_2_2010__1_3_1_3_1_1_1 n96_a_factbook_2_2010__1_3_1_3_1_1_1->n96_a_factbook_2_2010__1_3_1_3_1_1_1_1 n96_a_factbook_2_2010__1_3_1_3_1_2->n96_a_factbook_2_2010__1_3_1_3_1_2_1 n96_a_factbook_2_2010__1_3_1_4->n96_a_factbook_2_2010__1_3_1_4_1 n96_a_factbook_2_2010__1_3_1_5_1 NLYR n96_a_factbook_2_2010__1_3_1_5->n96_a_factbook_2_2010__1_3_1_5_1 n96_a_factbook_2_2010__1_3_1_5_1_1 N n96_a_factbook_2_2010__1_3_1_5_1->n96_a_factbook_2_2010__1_3_1_5_1_1 n96_a_factbook_2_2010__1_3_1_5_1_2 N n96_a_factbook_2_2010__1_3_1_5_1->n96_a_factbook_2_2010__1_3_1_5_1_2 n96_a_factbook_2_2010__1_3_1_5_1_1->n96_a_factbook_2_2010__1_3_1_5_1_1_1 n96_a_factbook_2_2010__1_3_1_5_1_2->n96_a_factbook_2_2010__1_3_1_5_1_2_1 n96_a_factbook_2_2010__1_3_1_6->n96_a_factbook_2_2010__1_3_1_6_1 n96_a_factbook_2_2010__1_3_1_7_1 CONJ n96_a_factbook_2_2010__1_3_1_7->n96_a_factbook_2_2010__1_3_1_7_1 n96_a_factbook_2_2010__1_3_1_7_2 NLYR n96_a_factbook_2_2010__1_3_1_7->n96_a_factbook_2_2010__1_3_1_7_2 n96_a_factbook_2_2010__1_3_1_7_1->n96_a_factbook_2_2010__1_3_1_7_1_1 n96_a_factbook_2_2010__1_3_1_7_2_1 ADJP n96_a_factbook_2_2010__1_3_1_7_2->n96_a_factbook_2_2010__1_3_1_7_2_1 n96_a_factbook_2_2010__1_3_1_7_2_2 ADJP n96_a_factbook_2_2010__1_3_1_7_2->n96_a_factbook_2_2010__1_3_1_7_2_2 n96_a_factbook_2_2010__1_3_1_7_2_3 N n96_a_factbook_2_2010__1_3_1_7_2->n96_a_factbook_2_2010__1_3_1_7_2_3 n96_a_factbook_2_2010__1_3_1_7_2_1_1 ADJ n96_a_factbook_2_2010__1_3_1_7_2_1->n96_a_factbook_2_2010__1_3_1_7_2_1_1 n96_a_factbook_2_2010__1_3_1_7_2_1_1->n96_a_factbook_2_2010__1_3_1_7_2_1_1_1 n96_a_factbook_2_2010__1_3_1_7_2_2_1 ADJ n96_a_factbook_2_2010__1_3_1_7_2_2->n96_a_factbook_2_2010__1_3_1_7_2_2_1 n96_a_factbook_2_2010__1_3_1_7_2_2_1->n96_a_factbook_2_2010__1_3_1_7_2_2_1_1 n96_a_factbook_2_2010__1_3_1_7_2_3->n96_a_factbook_2_2010__1_3_1_7_2_3_1 n96_a_factbook_2_2010__1_4->n96_a_factbook_2_2010__1_4_1 
( (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))