248_a_law_h15a119
(Prohibition of Utilization Other Than for Intended Purposes)
arc(r_0248_0002__Prohibition, r_0248_0004__Utilization, r_0248_0003__of).
arc(r_0248_0002__Prohibition, r_0248_0005__Other, attrib13).
arc(r_0248_0005__Other, r_0248_0008__Purposes, r_0248_0006__Than_for).
arc(r_0248_0008__Purposes, r_0248_0007__Intended, attrib20).
arc(z_000_248_a_law_h15a119_1, r_0248_0002__Prohibition, nim4).
fof(formula,axiom,
? [Z_248_A_LAW_H15A119_1,R_248_2_PROHIBITION,R_248_5_OTHER,R_248_8_PURPOSES,R_248_7_INTENDED,R_248_4_UTILIZATION] :
( intended(R_248_7_INTENDED)
& utilization(R_248_4_UTILIZATION)
& z_248_a_law_h15a119_1(Z_248_A_LAW_H15A119_1)
& nim4(Z_248_A_LAW_H15A119_1,R_248_2_PROHIBITION)
& prohibition(R_248_2_PROHIBITION)
& attrib13(R_248_2_PROHIBITION,R_248_5_OTHER)
& other(R_248_5_OTHER)
& than_for(R_248_5_OTHER,R_248_8_PURPOSES)
& purposes(R_248_8_PURPOSES)
& attrib20(R_248_8_PURPOSES,R_248_7_INTENDED)
& of(R_248_2_PROHIBITION,R_248_4_UTILIZATION) ) ).
( (FRAG (PULB -LRB-)
(NP (N Prohibition;{prohibition})
(PP (P-ROLE of;{of})
(NP (N Utilization;{utilization})))
(ADJP (ADJ Other;{other})
(PP (P-ROLE Than_for;{than_for})
(NP (ADJP (ADJ Intended;{intended}))
(NS Purposes;{purpose})))))
(PURB -RRB-))
(ID 248_a_law_h15a119;196_4))