arc(r_0040_0002__law, r_0040_0001__Private, attrib3).
arc(r_0040_0003__covers, r_0040_0002__law, arg0).
arc(r_0040_0003__covers, r_0040_0004__issues, arg1).
arc(r_0040_0004__issues, r_0040_0008__or, r_0040_0005__between).
arc(r_0040_0007__citizens, r_0040_0006__private, attrib19).
arc(r_0040_0008__or, r_0040_0007__citizens, conj1).
arc(r_0040_0008__or, r_0040_0009__corporations, conj2).

fof(formula,axiom,
    ? [R_0040_0001__PRIVATE,R_0040_0002__LAW,R_0040_0006__PRIVATE,R_0040_0007__CITIZENS,R_0040_0009__CORPORATIONS,R_0040_0008__OR,R_0040_0004__ISSUES,R_0040_0003__COVERS] :
      ( r_0040_0001__Private(R_0040_0001__PRIVATE)
      & r_0040_0006__private(R_0040_0006__PRIVATE)
      & r_0040_0009__corporations(R_0040_0009__CORPORATIONS)
      & r_0040_0003__covers(R_0040_0003__COVERS)
      & has_arg1(R_0040_0003__COVERS,R_0040_0004__ISSUES)
      & r_0040_0004__issues(R_0040_0004__ISSUES)
      & has_r_0040_0005__between(R_0040_0004__ISSUES,R_0040_0008__OR)
      & r_0040_0008__or(R_0040_0008__OR)
      & has_conj2(R_0040_0008__OR,R_0040_0009__CORPORATIONS)
      & has_conj1(R_0040_0008__OR,R_0040_0007__CITIZENS)
      & r_0040_0007__citizens(R_0040_0007__CITIZENS)
      & has_attrib19(R_0040_0007__CITIZENS,R_0040_0006__PRIVATE)
      & has_arg0(R_0040_0003__COVERS,R_0040_0002__LAW)
      & r_0040_0002__law(R_0040_0002__LAW)
      & has_attrib3(R_0040_0002__LAW,R_0040_0001__PRIVATE) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Private;{private}))
                  (N law;{law}))
          (VBP;_Tn_ covers;{cover})
          (NP-OB1 (NS issues;{issue})
                  (PP (P-ROLE between;{between})
                      (NP (NLYR (NLYR (ADJP (ADJ private;{private}))
                                      (NS citizens;{citizen}))
                                (CONJP (CONJ or;{or})
                                       (NLYR (NS corporations;{corporation})))))))
          (PUNC .))
  (ID 40_a_factbook_2_2010))