248_a_law_h15a119
(Prohibition of Utilization Other Than for Intended Purposes)
( (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))
arc(r_0248_0002__Prohibition,r_0248_0004__Utilization,r_0248_0003__of).
arc(r_0248_0002__Prohibition,r_0248_0005__Other,attrib).
arc(r_0248_0005__Other,r_0248_0008__Purposes,r_0248_0006__Than_for).
arc(r_0248_0008__Purposes,r_0248_0007__Intended,attrib).
arc(z_0248_5008,r_0248_0002__Prohibition,z_0248_5002).
fof(formula,axiom,
? [R_0248_0004__UTILIZATION,R_0248_0007__INTENDED,R_0248_0008__PURPOSES,R_0248_0005__OTHER,R_0248_0002__PROHIBITION,Z_0248_5008] :
( r_0248_0004__Utilization(R_0248_0004__UTILIZATION)
& r_0248_0007__Intended(R_0248_0007__INTENDED)
& z_0248_5008(Z_0248_5008)
& has_z_0248_5002(Z_0248_5008,R_0248_0002__PROHIBITION)
& r_0248_0002__Prohibition(R_0248_0002__PROHIBITION)
& has_attrib(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_attrib(R_0248_0008__PURPOSES,R_0248_0007__INTENDED)
& has_r_0248_0003__of(R_0248_0002__PROHIBITION,R_0248_0004__UTILIZATION) ) ).