Context                Previous, Next                Top


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_0009__law law r_0094_0007__and and r_0094_0009__law->r_0094_0007__and [attrib] r_0094_0008__private private r_0094_0007__and->r_0094_0008__private [conj2] r_0094_0006__public public r_0094_0007__and->r_0094_0006__public [conj1] r_0094_0005__separates separates r_0094_0005__separates->r_0094_0009__law [arg1] 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] 
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__1_1_1_1 The n94_a_factbook_2_2010__1_1_2_1 Spanish n94_a_factbook_2_2010__1_1_3_1 Civil n94_a_factbook_2_2010__1_1_4_1 Code n94_a_factbook_2_2010__1_2_1 separates n94_a_factbook_2_2010__1_3_1_1_1_1_1 public n94_a_factbook_2_2010__1_3_1_1_2_1_1 and n94_a_factbook_2_2010__1_3_1_1_2_2_1_1 private n94_a_factbook_2_2010__1_3_2_1 law n94_a_factbook_2_2010__1_4_1 . n94_a_factbook_2_2010__1 IP-MAT n94_a_factbook_2_2010__1_1 NP-SBJ n94_a_factbook_2_2010__1->n94_a_factbook_2_2010__1_1 n94_a_factbook_2_2010__1_2 VBP;__ n94_a_factbook_2_2010__1->n94_a_factbook_2_2010__1_2 n94_a_factbook_2_2010__1_3 NP-OB1 n94_a_factbook_2_2010__1->n94_a_factbook_2_2010__1_3 n94_a_factbook_2_2010__1_4 PUNC n94_a_factbook_2_2010__1->n94_a_factbook_2_2010__1_4 n94_a_factbook_2_2010__1_1_1 D n94_a_factbook_2_2010__1_1->n94_a_factbook_2_2010__1_1_1 n94_a_factbook_2_2010__1_1_2 NPR n94_a_factbook_2_2010__1_1->n94_a_factbook_2_2010__1_1_2 n94_a_factbook_2_2010__1_1_3 NPR n94_a_factbook_2_2010__1_1->n94_a_factbook_2_2010__1_1_3 n94_a_factbook_2_2010__1_1_4 NPR n94_a_factbook_2_2010__1_1->n94_a_factbook_2_2010__1_1_4 n94_a_factbook_2_2010__1_1_1->n94_a_factbook_2_2010__1_1_1_1 n94_a_factbook_2_2010__1_1_2->n94_a_factbook_2_2010__1_1_2_1 n94_a_factbook_2_2010__1_1_3->n94_a_factbook_2_2010__1_1_3_1 n94_a_factbook_2_2010__1_1_4->n94_a_factbook_2_2010__1_1_4_1 n94_a_factbook_2_2010__1_2->n94_a_factbook_2_2010__1_2_1 n94_a_factbook_2_2010__1_3_1 ADJP n94_a_factbook_2_2010__1_3->n94_a_factbook_2_2010__1_3_1 n94_a_factbook_2_2010__1_3_2 N n94_a_factbook_2_2010__1_3->n94_a_factbook_2_2010__1_3_2 n94_a_factbook_2_2010__1_3_1_1 AJLYR n94_a_factbook_2_2010__1_3_1->n94_a_factbook_2_2010__1_3_1_1 n94_a_factbook_2_2010__1_3_1_1_1 AJLYR n94_a_factbook_2_2010__1_3_1_1->n94_a_factbook_2_2010__1_3_1_1_1 n94_a_factbook_2_2010__1_3_1_1_2 CONJP n94_a_factbook_2_2010__1_3_1_1->n94_a_factbook_2_2010__1_3_1_1_2 n94_a_factbook_2_2010__1_3_1_1_1_1 ADJ n94_a_factbook_2_2010__1_3_1_1_1->n94_a_factbook_2_2010__1_3_1_1_1_1 n94_a_factbook_2_2010__1_3_1_1_1_1->n94_a_factbook_2_2010__1_3_1_1_1_1_1 n94_a_factbook_2_2010__1_3_1_1_2_1 CONJ n94_a_factbook_2_2010__1_3_1_1_2->n94_a_factbook_2_2010__1_3_1_1_2_1 n94_a_factbook_2_2010__1_3_1_1_2_2 AJLYR n94_a_factbook_2_2010__1_3_1_1_2->n94_a_factbook_2_2010__1_3_1_1_2_2 n94_a_factbook_2_2010__1_3_1_1_2_1->n94_a_factbook_2_2010__1_3_1_1_2_1_1 n94_a_factbook_2_2010__1_3_1_1_2_2_1 ADJ n94_a_factbook_2_2010__1_3_1_1_2_2->n94_a_factbook_2_2010__1_3_1_1_2_2_1 n94_a_factbook_2_2010__1_3_1_1_2_2_1->n94_a_factbook_2_2010__1_3_1_1_2_2_1_1 n94_a_factbook_2_2010__1_3_2->n94_a_factbook_2_2010__1_3_2_1 n94_a_factbook_2_2010__1_4->n94_a_factbook_2_2010__1_4_1 
( (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))