( (FRAG (NP-SBJ (ADJP (ADJ French;{french}))
                (N 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})))
                (IP-REL (C that;{that})
                        (NP-SBJ *T*)
                        (BEP;_Ln_ is;{be})
                        (NP-PRD (D the;{the})
                                (ADJP (ADJ legal;{legal}))
                                (N system;{system})
                                (PP (P-ROLE of;{of})
                                    (NP (NPR France;{France}))))))
        (PUNC .))
  (ID 32_a_factbook_2_2010))

arc(r_0032_0002__Law,r_0032_0001__French,attrib).
arc(r_0032_0004__A_r_0032_0005__type,r_0032_0008__law,r_0032_0006__of).
arc(r_0032_0008__law,r_0032_0007__civil,attrib).
arc(r_0032_0010__is,r_0032_0004__A_r_0032_0005__type,inv_arg0).
arc(r_0032_0010__is,r_0032_0011__the_r_0032_0013__system,prd).
arc(r_0032_0011__the_r_0032_0013__system,r_0032_0012__legal,attrib).
arc(r_0032_0011__the_r_0032_0013__system,r_0032_0015__France,r_0032_0014__of).
arc(z_0032_5009,r_0032_0002__Law,arg0).
arc(z_0032_5009,r_0032_0004__A_r_0032_0005__type,prd).

fof(formula,axiom,
    ? [R_0032_0001__FRENCH,R_0032_0002__LAW,R_0032_0007__CIVIL,R_0032_0008__LAW,R_0032_0012__LEGAL,R_0032_0015__FRANCE,R_0032_0011__THE_R_0032_0013__SYSTEM,R_0032_0010__IS,R_0032_0004__A_R_0032_0005__TYPE,Z_0032_5009] :
      ( r_0032_0001__French(R_0032_0001__FRENCH)
      & r_0032_0007__civil(R_0032_0007__CIVIL)
      & r_0032_0012__legal(R_0032_0012__LEGAL)
      & r_0032_0015__France(R_0032_0015__FRANCE)
      & z_0032_5009(Z_0032_5009)
      & has_prd(Z_0032_5009,R_0032_0004__A_R_0032_0005__TYPE)
      & r_0032_0004__A_r_0032_0005__type(R_0032_0004__A_R_0032_0005__TYPE)
      & has_inv_arg0(R_0032_0004__A_R_0032_0005__TYPE,R_0032_0010__IS)
      & r_0032_0010__is(R_0032_0010__IS)
      & has_prd(R_0032_0010__IS,R_0032_0011__THE_R_0032_0013__SYSTEM)
      & r_0032_0011__the_r_0032_0013__system(R_0032_0011__THE_R_0032_0013__SYSTEM)
      & has_r_0032_0014__of(R_0032_0011__THE_R_0032_0013__SYSTEM,R_0032_0015__FRANCE)
      & has_attrib(R_0032_0011__THE_R_0032_0013__SYSTEM,R_0032_0012__LEGAL)
      & has_r_0032_0006__of(R_0032_0004__A_R_0032_0005__TYPE,R_0032_0008__LAW)
      & r_0032_0008__law(R_0032_0008__LAW)
      & has_attrib(R_0032_0008__LAW,R_0032_0007__CIVIL)
      & has_arg0(Z_0032_5009,R_0032_0002__LAW)
      & r_0032_0002__Law(R_0032_0002__LAW)
      & has_attrib(R_0032_0002__LAW,R_0032_0001__FRENCH) ) ).