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,
? [R_0248_0004__UTILIZATION,R_0248_0007__INTENDED,R_0248_0008__PURPOSES,R_0248_0005__OTHER,R_0248_0002__PROHIBITION,Z_000_248_A_LAW_H15A119_1] :
( r_0248_0004__Utilization(R_0248_0004__UTILIZATION)
& r_0248_0007__Intended(R_0248_0007__INTENDED)
& z_000_248_a_law_h15a119_1(Z_000_248_A_LAW_H15A119_1)
& has_nim4(Z_000_248_A_LAW_H15A119_1,R_0248_0002__PROHIBITION)
& r_0248_0002__Prohibition(R_0248_0002__PROHIBITION)
& has_attrib13(R_0248_0002__PROHIBITION,R_0248_0005__OTHER)
& r_0248_0005__Other(R_0248_0005__OTHER)
& has_r_0248_0006__Than_for(R_0248_0005__OTHER,R_0248_0008__PURPOSES)
& r_0248_0008__Purposes(R_0248_0008__PURPOSES)
& has_attrib20(R_0248_0008__PURPOSES,R_0248_0007__INTENDED)
& has_r_0248_0003__of(R_0248_0002__PROHIBITION,R_0248_0004__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))