TSPC 86_a_factbook_2

86_a_factbook_2_2010
Spanish Law - A type of civil law, often referred to as the Spanish Civil Code,

( (FRAG (NP-SBJ;{SPANISH_CIVIL_CODE} (NPR Spanish;{Spanish})
                                     (NPR Law;{Law}))
        (PUNC <hyphen>)
        (NP-PRD (D A;{a})
                (N type;{type})
                (PP (P-ROLE of;{of})
                    (NP (ADJP (ADJ civil;{civil}))
                        (N law;{law})))
                (PUNC ,)
                (IP-PPL (NP-LGS *)
                        (ADVP-NIM (ADV often;{often}))
                        (VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
                        (PP-CLR (P-ROLE to;{to}))
                        (PP-PRD (P-ROLE as;{as})
                                (NP (D the;{the})
                                    (NPR Spanish;{Spanish})
                                    (NPR Civil;{Civil})
                                    (NPR Code;{Code})))))
        (PUNC ,))
  (ID 86_a_factbook_2_2010))

arc(r_0086_0004__A_r_0086_0005__type,r_0086_0008__law,r_0086_0006__of).
arc(r_0086_0008__law,r_0086_0007__civil,attrib).
arc(r_0086_0011__referred_r_0086_0012__to,r_0086_0004__A_r_0086_0005__type,inv_arg1).
arc(r_0086_0011__referred_r_0086_0012__to,r_0086_0010__often,nim).
arc(r_0086_0011__referred_r_0086_0012__to,r_0086_0014__the_r_0086_0015__Spanish_r_0086_0016__Civil_r_0086_0017__Code,r_0086_0013__as__prd).
arc(r_0086_0011__referred_r_0086_0012__to,z_0086_5005___star_,arg0).
arc(z_0086_5007,r_0086_0001__Spanish_r_0086_0002__Law,arg0).
arc(z_0086_5007,r_0086_0004__A_r_0086_0005__type,prd).

fof(formula,axiom,
    ? [R_0086_0001__SPANISH_R_0086_0002__LAW,R_0086_0007__CIVIL,R_0086_0008__LAW,R_0086_0010__OFTEN,R_0086_0014__THE_R_0086_0015__SPANISH_R_0086_0016__CIVIL_R_0086_0017__CODE,Z_0086_5005___STAR_,R_0086_0011__REFERRED_R_0086_0012__TO,R_0086_0004__A_R_0086_0005__TYPE,Z_0086_5007] :
      ( r_0086_0001__Spanish_r_0086_0002__Law(R_0086_0001__SPANISH_R_0086_0002__LAW)
      & r_0086_0007__civil(R_0086_0007__CIVIL)
      & r_0086_0010__often(R_0086_0010__OFTEN)
      & r_0086_0014__the_r_0086_0015__Spanish_r_0086_0016__Civil_r_0086_0017__Code(R_0086_0014__THE_R_0086_0015__SPANISH_R_0086_0016__CIVIL_R_0086_0017__CODE)
      & z_0086_5005___star_(Z_0086_5005___STAR_)
      & z_0086_5007(Z_0086_5007)
      & has_prd(Z_0086_5007,R_0086_0004__A_R_0086_0005__TYPE)
      & r_0086_0004__A_r_0086_0005__type(R_0086_0004__A_R_0086_0005__TYPE)
      & has_inv_arg1(R_0086_0004__A_R_0086_0005__TYPE,R_0086_0011__REFERRED_R_0086_0012__TO)
      & r_0086_0011__referred_r_0086_0012__to(R_0086_0011__REFERRED_R_0086_0012__TO)
      & has_arg0(R_0086_0011__REFERRED_R_0086_0012__TO,Z_0086_5005___STAR_)
      & has_r_0086_0013__as__prd(R_0086_0011__REFERRED_R_0086_0012__TO,R_0086_0014__THE_R_0086_0015__SPANISH_R_0086_0016__CIVIL_R_0086_0017__CODE)
      & has_nim(R_0086_0011__REFERRED_R_0086_0012__TO,R_0086_0010__OFTEN)
      & has_r_0086_0006__of(R_0086_0004__A_R_0086_0005__TYPE,R_0086_0008__LAW)
      & r_0086_0008__law(R_0086_0008__LAW)
      & has_attrib(R_0086_0008__LAW,R_0086_0007__CIVIL)
      & has_arg0(Z_0086_5007,R_0086_0001__SPANISH_R_0086_0002__LAW) ) ).