TSPC 39_a_factbook_2

39_a_factbook_2_2010
Public law relates to government, the French Constitution, public administration, and criminal law.

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

arc(r_0039_0002__law,r_0039_0001__Public,attrib).
arc(r_0039_0003__relates_r_0039_0004__to,r_0039_0002__law,arg0).
arc(r_0039_0003__relates_r_0039_0004__to,r_0039_0014__and,arg1).
arc(r_0039_0012__administration,r_0039_0011__public,attrib).
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,attrib).

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_0004__TO] :
      ( 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_0004__to(R_0039_0003__RELATES_R_0039_0004__TO)
      & has_arg1(R_0039_0003__RELATES_R_0039_0004__TO,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_attrib(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_attrib(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_0004__TO,R_0039_0002__LAW)
      & r_0039_0002__law(R_0039_0002__LAW)
      & has_attrib(R_0039_0002__LAW,R_0039_0001__PUBLIC) ) ).