94_a_factbook_2_2010
The Spanish Civil Code separates public and private law.
( (IP-MAT (NP-SBJ (D The;{the})
(NPR Spanish;{Spanish})
(NPR Civil;{Civil})
(NPR Code;{Code}))
(VBP;__ separates;{separate})
(NP-OB1 (ADJP (AJLYR (AJLYR (ADJ public;{public}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ private;{private})))))
(N law;{law}))
(PUNC .))
(ID 94_a_factbook_2_2010))
arc(r_0094_0005__separates,r_0094_0001__The_r_0094_0002__Spanish_r_0094_0003__Civil_r_0094_0004__Code,arg0).
arc(r_0094_0005__separates,r_0094_0009__law,arg1).
arc(r_0094_0007__and,r_0094_0006__public,conj1).
arc(r_0094_0007__and,r_0094_0008__private,conj2).
arc(r_0094_0009__law,r_0094_0007__and,attrib).
fof(formula,axiom,
? [R_0094_0001__THE_R_0094_0002__SPANISH_R_0094_0003__CIVIL_R_0094_0004__CODE,R_0094_0006__PUBLIC,R_0094_0008__PRIVATE,R_0094_0007__AND,R_0094_0009__LAW,R_0094_0005__SEPARATES] :
( r_0094_0001__The_r_0094_0002__Spanish_r_0094_0003__Civil_r_0094_0004__Code(R_0094_0001__THE_R_0094_0002__SPANISH_R_0094_0003__CIVIL_R_0094_0004__CODE)
& r_0094_0006__public(R_0094_0006__PUBLIC)
& r_0094_0008__private(R_0094_0008__PRIVATE)
& r_0094_0005__separates(R_0094_0005__SEPARATES)
& has_arg1(R_0094_0005__SEPARATES,R_0094_0009__LAW)
& r_0094_0009__law(R_0094_0009__LAW)
& has_attrib(R_0094_0009__LAW,R_0094_0007__AND)
& r_0094_0007__and(R_0094_0007__AND)
& has_conj2(R_0094_0007__AND,R_0094_0008__PRIVATE)
& has_conj1(R_0094_0007__AND,R_0094_0006__PUBLIC)
& has_arg0(R_0094_0005__SEPARATES,R_0094_0001__THE_R_0094_0002__SPANISH_R_0094_0003__CIVIL_R_0094_0004__CODE) ) ).