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

arc(r_0038_0002__law,r_0038_0001__French,attrib).
arc(r_0038_0003__distinguishes_r_0038_0004__between,r_0038_0002__law,arg0).
arc(r_0038_0003__distinguishes_r_0038_0004__between,r_0038_0007__and,arg1).
arc(r_0038_0006__law,r_0038_0005__public,attrib).
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,attrib).

fof(formula,axiom,
    ? [R_0038_0001__FRENCH,R_0038_0002__LAW,R_0038_0005__PUBLIC,R_0038_0006__LAW,R_0038_0008__PRIVATE,R_0038_0009__LAW,R_0038_0007__AND,R_0038_0003__DISTINGUISHES_R_0038_0004__BETWEEN] :
      ( r_0038_0001__French(R_0038_0001__FRENCH)
      & r_0038_0005__public(R_0038_0005__PUBLIC)
      & r_0038_0008__private(R_0038_0008__PRIVATE)
      & r_0038_0003__distinguishes_r_0038_0004__between(R_0038_0003__DISTINGUISHES_R_0038_0004__BETWEEN)
      & has_arg1(R_0038_0003__DISTINGUISHES_R_0038_0004__BETWEEN,R_0038_0007__AND)
      & r_0038_0007__and(R_0038_0007__AND)
      & has_conj2(R_0038_0007__AND,R_0038_0009__LAW)
      & r_0038_0009__law(R_0038_0009__LAW)
      & has_attrib(R_0038_0009__LAW,R_0038_0008__PRIVATE)
      & has_conj1(R_0038_0007__AND,R_0038_0006__LAW)
      & r_0038_0006__law(R_0038_0006__LAW)
      & has_attrib(R_0038_0006__LAW,R_0038_0005__PUBLIC)
      & has_arg0(R_0038_0003__DISTINGUISHES_R_0038_0004__BETWEEN,R_0038_0002__LAW)
      & r_0038_0002__law(R_0038_0002__LAW)
      & has_attrib(R_0038_0002__LAW,R_0038_0001__FRENCH) ) ).