38_a_factbook_2_2010
French law distinguishes between public law and private law.
arc(r_0038_0002__law, r_0038_0001__French, attrib3).
arc(r_0038_0003__distinguishes, r_0038_0002__law, arg0).
arc(r_0038_0003__distinguishes, r_0038_0007__and, r_0038_0004__between_clr13).
arc(r_0038_0006__law, r_0038_0005__public, attrib16).
arc(r_0038_0007__and, r_0038_0006__law, conj1).
arc(r_0038_0007__and, r_0038_0009__law, conj2).
arc(r_0038_0009__law, r_0038_0008__private, attrib25).
fof(formula,axiom,
? [R_38_3_DISTINGUISHES,R_38_2_LAW,R_38_1_FRENCH,R_38_7_AND,R_38_6_LAW,R_38_5_PUBLIC,R_38_9_LAW,R_38_8_PRIVATE] :
( french(R_38_1_FRENCH)
& public(R_38_5_PUBLIC)
& private(R_38_8_PRIVATE)
& distinguishes(R_38_3_DISTINGUISHES,R_38_2_LAW)
& law(R_38_2_LAW)
& attrib3(R_38_2_LAW,R_38_1_FRENCH)
& between_clr13(R_38_3_DISTINGUISHES,R_38_7_AND)
& and(R_38_7_AND)
& conj1(R_38_7_AND,R_38_6_LAW)
& law(R_38_6_LAW)
& attrib16(R_38_6_LAW,R_38_5_PUBLIC)
& conj2(R_38_7_AND,R_38_9_LAW)
& law(R_38_9_LAW)
& attrib25(R_38_9_LAW,R_38_8_PRIVATE) ) ).
( (IP-MAT (NP-SBJ (ADJP (ADJ French;{french}))
(N law;{law}))
(VBP;_Ipr_ distinguishes;{distinguish[between]})
(PP-CLR (P-ROLE between;{between})
(NP (NLYR (NLYR (ADJP (ADJ public;{public}))
(N law;{law}))
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJ private;{private}))
(N law;{law}))))))
(PUNC .))
(ID 38_a_factbook_2_2010))