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_335_4_CONCERNING,R_335_5_THE_RESTRICTION,R_335_8_USE,R_335_10_THE_NAME,Z_335_A_LAW_H15A119_1,R_335_3_MEASURES,R_335_2_TRANSITIONAL] :
( the_Name(R_335_10_THE_NAME)
& transitional(R_335_2_TRANSITIONAL)
& concerning(R_335_4_CONCERNING,R_335_3_MEASURES,R_335_5_THE_RESTRICTION)
& measures(R_335_3_MEASURES)
& attrib5(R_335_3_MEASURES,R_335_2_TRANSITIONAL)
& the_Restriction(R_335_5_THE_RESTRICTION)
& on(R_335_5_THE_RESTRICTION,R_335_8_USE)
& use(R_335_8_USE)
& of(R_335_8_USE,R_335_10_THE_NAME)
& z_335_a_law_h15a119_1(Z_335_A_LAW_H15A119_1)
& nim4(Z_335_A_LAW_H15A119_1,R_335_3_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))