TSPC 39_a_factbook_2

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_0039_0001__PUBLIC,R_0039_0002__LAW,R_0039_0005__GOVERNMENT,R_0039_0007__THE_R_0039_0008__FRENCH_R_0039_0009__CONSTITUTION,R_0039_0011__PUBLIC,R_0039_0012__ADMINISTRATION,R_0039_0015__CRIMINAL,R_0039_0016__LAW,R_0039_0014__AND,R_0039_0003__RELATES] :
      ( r_0039_0001__Public(R_0039_0001__PUBLIC)
      & r_0039_0005__government(R_0039_0005__GOVERNMENT)
      & r_0039_0007__the_r_0039_0008__French_r_0039_0009__Constitution(R_0039_0007__THE_R_0039_0008__FRENCH_R_0039_0009__CONSTITUTION)
      & r_0039_0011__public(R_0039_0011__PUBLIC)
      & r_0039_0015__criminal(R_0039_0015__CRIMINAL)
      & r_0039_0003__relates(R_0039_0003__RELATES)
      & has_r_0039_0004__to_clr13(R_0039_0003__RELATES,R_0039_0014__AND)
      & r_0039_0014__and(R_0039_0014__AND)
      & has_conj4(R_0039_0014__AND,R_0039_0016__LAW)
      & r_0039_0016__law(R_0039_0016__LAW)
      & has_attrib43(R_0039_0016__LAW,R_0039_0015__CRIMINAL)
      & has_conj3(R_0039_0014__AND,R_0039_0012__ADMINISTRATION)
      & r_0039_0012__administration(R_0039_0012__ADMINISTRATION)
      & has_attrib32(R_0039_0012__ADMINISTRATION,R_0039_0011__PUBLIC)
      & has_conj2(R_0039_0014__AND,R_0039_0007__THE_R_0039_0008__FRENCH_R_0039_0009__CONSTITUTION)
      & has_conj1(R_0039_0014__AND,R_0039_0005__GOVERNMENT)
      & has_arg0(R_0039_0003__RELATES,R_0039_0002__LAW)
      & r_0039_0002__law(R_0039_0002__LAW)
      & has_attrib3(R_0039_0002__LAW,R_0039_0001__PUBLIC) ) ).

( (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))