335_a_law_h15a119
(Transitional Measures Concerning the Restriction on Use of the Name)
arc(r_0335_0003__Measures, r_0335_0002__Transitional, attrib5).
arc(r_0335_0004__Concerning, r_0335_0003__Measures, 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_000_335_a_law_h15a119_1, r_0335_0003__Measures, nim4).
fof(formula,axiom,
? [R_0335_0002__TRANSITIONAL,R_0335_0003__MEASURES,R_0335_0010__THE_R_0335_0011__NAME,R_0335_0008__USE,R_0335_0005__THE_R_0335_0006__RESTRICTION,R_0335_0004__CONCERNING,Z_000_335_A_LAW_H15A119_1] :
( 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_000_335_a_law_h15a119_1(Z_000_335_A_LAW_H15A119_1)
& has_nim4(Z_000_335_A_LAW_H15A119_1,R_0335_0003__MEASURES)
& r_0335_0003__Measures(R_0335_0003__MEASURES)
& has_attrib5(R_0335_0003__MEASURES,R_0335_0002__TRANSITIONAL)
& 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_arg0(R_0335_0004__CONCERNING,R_0335_0003__MEASURES) ) ).
( (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))