TSPC 335_a_law

335_a_law_h15a119
(Transitional Measures Concerning the Restriction on Use of the Name)

( (FRAG (PULB -LRB-)
        (NP (ADJP (ADJ Transitional;{transitional}))
            (NS Measures;{measure})
            (IP-PPL (VAG;_Tn_ Concerning;{concern})
                    (NP-OB1 (D the;{the})
                            (N Restriction;{restriction})
                            (PP (P-ROLE on;{on})
                                (NP (N Use;{use})
                                    (PP (P-ROLE of;{of})
                                        (NP (D the;{the})
                                            (N Name;{name}))))))))
        (PURB -RRB-))
  (ID 335_a_law_h15a119;255_Supp))

arc(r_0335_0003__Measures,r_0335_0002__Transitional,attrib).
arc(r_0335_0004__Concerning,r_0335_0003__Measures,inv_arg0).
arc(r_0335_0004__Concerning,r_0335_0005__the_r_0335_0006__Restriction,arg1).
arc(r_0335_0005__the_r_0335_0006__Restriction,r_0335_0008__Use,r_0335_0007__on).
arc(r_0335_0008__Use,r_0335_0010__the_r_0335_0011__Name,r_0335_0009__of).
arc(z_0335_5009,r_0335_0003__Measures,z_0335_5002).

fof(formula,axiom,
    ? [R_0335_0002__TRANSITIONAL,R_0335_0010__THE_R_0335_0011__NAME,R_0335_0008__USE,R_0335_0005__THE_R_0335_0006__RESTRICTION,R_0335_0004__CONCERNING,R_0335_0003__MEASURES,Z_0335_5009] :
      ( r_0335_0002__Transitional(R_0335_0002__TRANSITIONAL)
      & r_0335_0010__the_r_0335_0011__Name(R_0335_0010__THE_R_0335_0011__NAME)
      & z_0335_5009(Z_0335_5009)
      & has_z_0335_5002(Z_0335_5009,R_0335_0003__MEASURES)
      & r_0335_0003__Measures(R_0335_0003__MEASURES)
      & has_inv_arg0(R_0335_0003__MEASURES,R_0335_0004__CONCERNING)
      & r_0335_0004__Concerning(R_0335_0004__CONCERNING)
      & has_arg1(R_0335_0004__CONCERNING,R_0335_0005__THE_R_0335_0006__RESTRICTION)
      & r_0335_0005__the_r_0335_0006__Restriction(R_0335_0005__THE_R_0335_0006__RESTRICTION)
      & has_r_0335_0007__on(R_0335_0005__THE_R_0335_0006__RESTRICTION,R_0335_0008__USE)
      & r_0335_0008__Use(R_0335_0008__USE)
      & has_r_0335_0009__of(R_0335_0008__USE,R_0335_0010__THE_R_0335_0011__NAME)
      & has_attrib(R_0335_0003__MEASURES,R_0335_0002__TRANSITIONAL) ) ).