40_a_factbook_2_2010
Private law covers issues between private citizens or corporations.
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_40_3_COVERS,R_40_2_LAW,R_40_1_PRIVATE,R_40_4_ISSUES,R_40_8_OR,R_40_7_CITIZENS,R_40_6_PRIVATE,R_40_9_CORPORATIONS] :
( private(R_40_1_PRIVATE)
& private(R_40_6_PRIVATE)
& corporations(R_40_9_CORPORATIONS)
& covers(R_40_3_COVERS,R_40_2_LAW,R_40_4_ISSUES)
& law(R_40_2_LAW)
& attrib3(R_40_2_LAW,R_40_1_PRIVATE)
& issues(R_40_4_ISSUES)
& between(R_40_4_ISSUES,R_40_8_OR)
& or(R_40_8_OR)
& conj1(R_40_8_OR,R_40_7_CITIZENS)
& citizens(R_40_7_CITIZENS)
& attrib19(R_40_7_CITIZENS,R_40_6_PRIVATE)
& conj2(R_40_8_OR,R_40_9_CORPORATIONS) ) ).
( (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))