39_a_factbook_2_2010
Public law relates to government, the French Constitution, public administration, and criminal law.
arc(r_0039_0002__law, r_0039_0001__Public, attrib3).
arc(r_0039_0003__relates, r_0039_0002__law, arg0).
arc(r_0039_0003__relates, r_0039_0014__and, r_0039_0004__to_clr13).
arc(r_0039_0012__administration, r_0039_0011__public, attrib32).
arc(r_0039_0014__and, r_0039_0005__government, conj1).
arc(r_0039_0014__and, r_0039_0007__the_r_0039_0008__French_r_0039_0009__Constitution, conj2).
arc(r_0039_0014__and, r_0039_0012__administration, conj3).
arc(r_0039_0014__and, r_0039_0016__law, conj4).
arc(r_0039_0016__law, r_0039_0015__criminal, attrib43).
fof(formula,axiom,
? [R_39_3_RELATES,R_39_2_LAW,R_39_1_PUBLIC,R_39_14_AND,R_39_5_GOVERNMENT,R_39_7_THE_FRENCH_CONSTITUTION,R_39_12_ADMINISTRATION,R_39_11_PUBLIC,R_39_16_LAW,R_39_15_CRIMINAL] :
( public(R_39_1_PUBLIC)
& government(R_39_5_GOVERNMENT)
& the_French_Constitution(R_39_7_THE_FRENCH_CONSTITUTION)
& public(R_39_11_PUBLIC)
& criminal(R_39_15_CRIMINAL)
& relates(R_39_3_RELATES,R_39_2_LAW)
& law(R_39_2_LAW)
& attrib3(R_39_2_LAW,R_39_1_PUBLIC)
& to_clr13(R_39_3_RELATES,R_39_14_AND)
& and(R_39_14_AND)
& conj1(R_39_14_AND,R_39_5_GOVERNMENT)
& conj2(R_39_14_AND,R_39_7_THE_FRENCH_CONSTITUTION)
& conj3(R_39_14_AND,R_39_12_ADMINISTRATION)
& administration(R_39_12_ADMINISTRATION)
& attrib32(R_39_12_ADMINISTRATION,R_39_11_PUBLIC)
& conj4(R_39_14_AND,R_39_16_LAW)
& law(R_39_16_LAW)
& attrib43(R_39_16_LAW,R_39_15_CRIMINAL) ) ).
( (IP-MAT (NP-SBJ (ADJP (ADJ Public;{public}))
(N law;{law}))
(VBP;_Ipr_ relates;{relate[to]})
(PP-CLR (P-ROLE to;{to})
(NP (NLYR (NLYR (N government;{government}))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(NPR French;{French})
(NPR Constitution;{Constitution})))
(PUNC ,)
(CONJP (NLYR (ADJP (ADJ public;{public}))
(N administration;{administration})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJ criminal;{criminal}))
(N law;{law}))))))
(PUNC .))
(ID 39_a_factbook_2_2010))