96_a_factbook_2_2010
Private law includes civil law, commercial law, labor law, and international private law.
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).
fof(formula,axiom,
? [R_0096_0001__PRIVATE,R_0096_0002__LAW,R_0096_0004__CIVIL,R_0096_0005__LAW,R_0096_0007__COMMERCIAL,R_0096_0008__LAW,R_0096_0010__LABOR_R_0096_0011__LAW,R_0096_0014__INTERNATIONAL,R_0096_0015__PRIVATE,R_0096_0016__LAW,R_0096_0013__AND,R_0096_0003__INCLUDES] :
( r_0096_0001__Private(R_0096_0001__PRIVATE)
& r_0096_0004__civil(R_0096_0004__CIVIL)
& r_0096_0007__commercial(R_0096_0007__COMMERCIAL)
& r_0096_0010__labor_r_0096_0011__law(R_0096_0010__LABOR_R_0096_0011__LAW)
& r_0096_0014__international(R_0096_0014__INTERNATIONAL)
& r_0096_0015__private(R_0096_0015__PRIVATE)
& r_0096_0003__includes(R_0096_0003__INCLUDES)
& has_arg1(R_0096_0003__INCLUDES,R_0096_0013__AND)
& r_0096_0013__and(R_0096_0013__AND)
& has_conj4(R_0096_0013__AND,R_0096_0016__LAW)
& r_0096_0016__law(R_0096_0016__LAW)
& has_attrib44(R_0096_0016__LAW,R_0096_0015__PRIVATE)
& has_attrib41(R_0096_0016__LAW,R_0096_0014__INTERNATIONAL)
& has_conj3(R_0096_0013__AND,R_0096_0010__LABOR_R_0096_0011__LAW)
& has_conj2(R_0096_0013__AND,R_0096_0008__LAW)
& r_0096_0008__law(R_0096_0008__LAW)
& has_attrib22(R_0096_0008__LAW,R_0096_0007__COMMERCIAL)
& has_conj1(R_0096_0013__AND,R_0096_0005__LAW)
& r_0096_0005__law(R_0096_0005__LAW)
& has_attrib13(R_0096_0005__LAW,R_0096_0004__CIVIL)
& has_arg0(R_0096_0003__INCLUDES,R_0096_0002__LAW)
& r_0096_0002__law(R_0096_0002__LAW)
& has_attrib3(R_0096_0002__LAW,R_0096_0001__PRIVATE) ) ).
( (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))