94_a_factbook_2_2010
The Spanish Civil Code separates public and private law.

%3 r_0094_0005__separates separates r_0094_0001__The_r_0094_0002__Spanish_r_0094_0003__Civil_r_0094_0004__Code The Spanish Civil Code r_0094_0005__separates->r_0094_0001__The_r_0094_0002__Spanish_r_0094_0003__Civil_r_0094_0004__Code [arg0] r_0094_0009__law law r_0094_0005__separates->r_0094_0009__law [arg1] r_0094_0007__and and r_0094_0009__law->r_0094_0007__and [attrib] r_0094_0006__public public r_0094_0007__and->r_0094_0006__public [conj1] r_0094_0008__private private r_0094_0007__and->r_0094_0008__private [conj2]
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, attrib14).



%3 r_0094_0005__separates separates r_0094_0001__The_r_0094_0002__Spanish_r_0094_0003__Civil_r_0094_0004__Code The Spanish Civil Code r_0094_0005__separates->r_0094_0001__The_r_0094_0002__Spanish_r_0094_0003__Civil_r_0094_0004__Code [arg0] r_0094_0009__law law r_0094_0005__separates->r_0094_0009__law [arg1] r_0094_0007__and and r_0094_0009__law->r_0094_0007__and [attrib] r_0094_0006__public public r_0094_0007__and->r_0094_0006__public [conj1] r_0094_0008__private private r_0094_0007__and->r_0094_0008__private [conj2]
fof(formula,axiom,
    ? [R_94_5_SEPARATES,R_94_1_THE_SPANISH_CIVIL_CODE,R_94_9_LAW,R_94_7_AND,R_94_6_PUBLIC,R_94_8_PRIVATE] :
      ( the_Spanish_Civil_Code(R_94_1_THE_SPANISH_CIVIL_CODE)
      & public(R_94_6_PUBLIC)
      & private(R_94_8_PRIVATE)
      & separates(R_94_5_SEPARATES,R_94_1_THE_SPANISH_CIVIL_CODE,R_94_9_LAW)
      & law(R_94_9_LAW)
      & attrib14(R_94_9_LAW,R_94_7_AND)
      & and(R_94_7_AND)
      & conj1(R_94_7_AND,R_94_6_PUBLIC)
      & conj2(R_94_7_AND,R_94_8_PRIVATE) ) ).



n94_a_factbook_2_2010 n94_a_factbook_2_2010_4 The n94_a_factbook_2_2010_6 Spanish n94_a_factbook_2_2010_8 Civil n94_a_factbook_2_2010_10 Code n94_a_factbook_2_2010_12 separates n94_a_factbook_2_2010_18 public n94_a_factbook_2_2010_21 and n94_a_factbook_2_2010_24 private n94_a_factbook_2_2010_26 law n94_a_factbook_2_2010_28 . n94_a_factbook_2_2010_1 IP-MAT n94_a_factbook_2_2010_2 NP-SBJ n94_a_factbook_2_2010_1->n94_a_factbook_2_2010_2 n94_a_factbook_2_2010_11 VBP;__ n94_a_factbook_2_2010_1->n94_a_factbook_2_2010_11 n94_a_factbook_2_2010_13 NP-OB1 n94_a_factbook_2_2010_1->n94_a_factbook_2_2010_13 n94_a_factbook_2_2010_27 PUNC n94_a_factbook_2_2010_1->n94_a_factbook_2_2010_27 n94_a_factbook_2_2010_3 D n94_a_factbook_2_2010_2->n94_a_factbook_2_2010_3 n94_a_factbook_2_2010_5 NPR n94_a_factbook_2_2010_2->n94_a_factbook_2_2010_5 n94_a_factbook_2_2010_7 NPR n94_a_factbook_2_2010_2->n94_a_factbook_2_2010_7 n94_a_factbook_2_2010_9 NPR n94_a_factbook_2_2010_2->n94_a_factbook_2_2010_9 n94_a_factbook_2_2010_3->n94_a_factbook_2_2010_4 n94_a_factbook_2_2010_5->n94_a_factbook_2_2010_6 n94_a_factbook_2_2010_7->n94_a_factbook_2_2010_8 n94_a_factbook_2_2010_9->n94_a_factbook_2_2010_10 n94_a_factbook_2_2010_11->n94_a_factbook_2_2010_12 n94_a_factbook_2_2010_14 ADJP n94_a_factbook_2_2010_13->n94_a_factbook_2_2010_14 n94_a_factbook_2_2010_25 N n94_a_factbook_2_2010_13->n94_a_factbook_2_2010_25 n94_a_factbook_2_2010_15 AJLYR n94_a_factbook_2_2010_14->n94_a_factbook_2_2010_15 n94_a_factbook_2_2010_16 AJLYR n94_a_factbook_2_2010_15->n94_a_factbook_2_2010_16 n94_a_factbook_2_2010_19 CONJP n94_a_factbook_2_2010_15->n94_a_factbook_2_2010_19 n94_a_factbook_2_2010_17 ADJ n94_a_factbook_2_2010_16->n94_a_factbook_2_2010_17 n94_a_factbook_2_2010_17->n94_a_factbook_2_2010_18 n94_a_factbook_2_2010_20 CONJ n94_a_factbook_2_2010_19->n94_a_factbook_2_2010_20 n94_a_factbook_2_2010_22 AJLYR n94_a_factbook_2_2010_19->n94_a_factbook_2_2010_22 n94_a_factbook_2_2010_20->n94_a_factbook_2_2010_21 n94_a_factbook_2_2010_23 ADJ n94_a_factbook_2_2010_22->n94_a_factbook_2_2010_23 n94_a_factbook_2_2010_23->n94_a_factbook_2_2010_24 n94_a_factbook_2_2010_25->n94_a_factbook_2_2010_26 n94_a_factbook_2_2010_27->n94_a_factbook_2_2010_28
( (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))