( (FRAG (NP-SBJ (ADJP (ADJ Roman_<hyphen>_Dutch;{roman_dutch}))
                (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-PPL (NP-LGS *)
                        (VVN;_phr_Vn.pr_ based;{base[on]})
                        (PP-CLR (P-ROLE on;{on})
                                (NP (ADJP (ADJ Roman;{roman}))
                                    (N law;{law})
                                    (IP-REL (NP-SBJ (RPRO as;{as}))
                                            (IP-PPL-CAT (NP-LGS *)
                                                        (VVN;__ applied;{apply})
                                                        (PP-NIM (P-ROLE in;{in})
                                                                (NP (D the;{the})
                                                                    (NPR Netherlands;{Netherlands})))))))))
        (PUNC .))
  (ID 81_a_factbook_2_2010))

arc(r_0081_0002__Law,r_0081_0001__Roman__hyphen__Dutch,attrib).
arc(r_0081_0004__A_r_0081_0005__type,r_0081_0008__law,r_0081_0006__of).
arc(r_0081_0008__law,r_0081_0007__civil,attrib).
arc(r_0081_0009__based,r_0081_0004__A_r_0081_0005__type,inv_arg1).
arc(r_0081_0009__based,r_0081_0012__law,r_0081_0010__on__clr).
arc(r_0081_0009__based,z_0081_5013___star_,arg0).
arc(r_0081_0012__law,r_0081_0011__Roman,attrib).
arc(r_0081_0014__applied,r_0081_0012__law,arg1).
arc(r_0081_0014__applied,r_0081_0016__the_r_0081_0017__Netherlands,r_0081_0015__in__nim).
arc(r_0081_0014__applied,z_0081_5009___star_,arg0).
arc(z_0081_5011,r_0081_0014__applied,scope).
arc(z_0081_5015,r_0081_0002__Law,arg0).
arc(z_0081_5015,r_0081_0004__A_r_0081_0005__type,prd).

fof(formula,axiom,
    ? [R_0081_0011__ROMAN,R_0081_0012__LAW,R_0081_0016__THE_R_0081_0017__NETHERLANDS,Z_0081_5009___STAR_,Z_0081_5011_R_0081_0014__APPLIED,R_0081_0001__ROMAN__HYPHEN__DUTCH,R_0081_0002__LAW,R_0081_0007__CIVIL,R_0081_0008__LAW,Z_0081_5013___STAR_,R_0081_0009__BASED,R_0081_0004__A_R_0081_0005__TYPE,Z_0081_5015] :
      ( r_0081_0001__Roman__hyphen__Dutch(R_0081_0001__ROMAN__HYPHEN__DUTCH)
      & r_0081_0007__civil(R_0081_0007__CIVIL)
      & r_0081_0011__Roman(R_0081_0011__ROMAN)
      & r_0081_0016__the_r_0081_0017__Netherlands(R_0081_0016__THE_R_0081_0017__NETHERLANDS)
      & z_0081_5009___star_(Z_0081_5009___STAR_)
      & z_0081_5013___star_(Z_0081_5013___STAR_)
      & z_0081_5015(Z_0081_5015)
      & has_prd(Z_0081_5015,R_0081_0004__A_R_0081_0005__TYPE)
      & r_0081_0004__A_r_0081_0005__type(R_0081_0004__A_R_0081_0005__TYPE)
      & has_inv_arg1(R_0081_0004__A_R_0081_0005__TYPE,R_0081_0009__BASED)
      & r_0081_0009__based(R_0081_0009__BASED)
      & has_arg0(R_0081_0009__BASED,Z_0081_5013___STAR_)
      & has_r_0081_0010__on__clr(R_0081_0009__BASED,R_0081_0012__LAW)
      & r_0081_0012__law(R_0081_0012__LAW)
      & has_attrib(R_0081_0012__LAW,R_0081_0011__ROMAN)
      & has_r_0081_0006__of(R_0081_0004__A_R_0081_0005__TYPE,R_0081_0008__LAW)
      & r_0081_0008__law(R_0081_0008__LAW)
      & has_attrib(R_0081_0008__LAW,R_0081_0007__CIVIL)
      & has_arg0(Z_0081_5015,R_0081_0002__LAW)
      & r_0081_0002__Law(R_0081_0002__LAW)
      & has_attrib(R_0081_0002__LAW,R_0081_0001__ROMAN__HYPHEN__DUTCH)
      & z_0081_5011_r_0081_0014__applied(Z_0081_5011_R_0081_0014__APPLIED)
      & has_arg0(Z_0081_5011_R_0081_0014__APPLIED,Z_0081_5009___STAR_)
      & has_r_0081_0015__in__nim(Z_0081_5011_R_0081_0014__APPLIED,R_0081_0016__THE_R_0081_0017__NETHERLANDS)
      & has_arg1(Z_0081_5011_R_0081_0014__APPLIED,R_0081_0012__LAW) ) ).