TSPC 96_a_factbook_2

96_a_factbook_2_2010
Private law includes civil law, commercial law, labor law, and international private law.

( (IP-MAT (NP-SBJ (ADJP (ADJ Private;{private}))
                  (N law;{law}))
          (VBP;__ includes;{include})
          (NP-OB1 (NLYR (NLYR (ADJP (ADJ civil;{civil}))
                              (N law;{law}))
                        (PUNC ,)
                        (CONJP (NLYR (ADJP (ADJ commercial;{commercial}))
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (NLYR (N labor;{labor})
                                     (N law;{law})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (ADJP (ADJ international;{international}))
                                     (ADJP (ADJ private;{private}))
                                     (N law;{law})))))
          (PUNC .))
  (ID 96_a_factbook_2_2010))

arc(r_0096_0002__law,r_0096_0001__Private,attrib).
arc(r_0096_0003__includes,r_0096_0002__law,arg0).
arc(r_0096_0003__includes,r_0096_0013__and,arg1).
arc(r_0096_0005__law,r_0096_0004__civil,attrib).
arc(r_0096_0008__law,r_0096_0007__commercial,attrib).
arc(r_0096_0013__and,r_0096_0005__law,conj1).
arc(r_0096_0013__and,r_0096_0008__law,conj2).
arc(r_0096_0013__and,r_0096_0010__labor_r_0096_0011__law,conj3).
arc(r_0096_0013__and,r_0096_0016__law,conj4).
arc(r_0096_0016__law,r_0096_0014__international,attrib).
arc(r_0096_0016__law,r_0096_0015__private,attrib).

fof(formula,axiom,
    ? [R_0096_0001__PRIVATE,R_0096_0002__LAW,R_0096_0004__CIVIL,R_0096_0005__LAW,R_0096_0007__COMMERCIAL,R_0096_0008__LAW,R_0096_0010__LABOR_R_0096_0011__LAW,R_0096_0014__INTERNATIONAL,R_0096_0015__PRIVATE,R_0096_0016__LAW,R_0096_0013__AND,R_0096_0003__INCLUDES] :
      ( r_0096_0001__Private(R_0096_0001__PRIVATE)
      & r_0096_0004__civil(R_0096_0004__CIVIL)
      & r_0096_0007__commercial(R_0096_0007__COMMERCIAL)
      & r_0096_0010__labor_r_0096_0011__law(R_0096_0010__LABOR_R_0096_0011__LAW)
      & r_0096_0014__international(R_0096_0014__INTERNATIONAL)
      & r_0096_0015__private(R_0096_0015__PRIVATE)
      & r_0096_0003__includes(R_0096_0003__INCLUDES)
      & has_arg1(R_0096_0003__INCLUDES,R_0096_0013__AND)
      & r_0096_0013__and(R_0096_0013__AND)
      & has_conj4(R_0096_0013__AND,R_0096_0016__LAW)
      & r_0096_0016__law(R_0096_0016__LAW)
      & has_attrib(R_0096_0016__LAW,R_0096_0015__PRIVATE)
      & has_attrib(R_0096_0016__LAW,R_0096_0014__INTERNATIONAL)
      & has_conj3(R_0096_0013__AND,R_0096_0010__LABOR_R_0096_0011__LAW)
      & has_conj2(R_0096_0013__AND,R_0096_0008__LAW)
      & r_0096_0008__law(R_0096_0008__LAW)
      & has_attrib(R_0096_0008__LAW,R_0096_0007__COMMERCIAL)
      & has_conj1(R_0096_0013__AND,R_0096_0005__LAW)
      & r_0096_0005__law(R_0096_0005__LAW)
      & has_attrib(R_0096_0005__LAW,R_0096_0004__CIVIL)
      & has_arg0(R_0096_0003__INCLUDES,R_0096_0002__LAW)
      & r_0096_0002__law(R_0096_0002__LAW)
      & has_attrib(R_0096_0002__LAW,R_0096_0001__PRIVATE) ) ).