93_a_law_h15a119
(Notice of the Purpose of Utilization at the Time of Acquisition, etc.)
( (FRAG (PULB -LRB-)
(NP (N Notice;{notice})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N Purpose;{purpose})
(PP (P-ROLE of;{of})
(NP (N Utilization;{utilization})))))
(PP (P-ROLE at;{at})
(NP (D the;{the})
(N Time;{time})
(PP (P-ROLE of;{of})
(NP (N Acquisition;{acquisition})
(PUNC ,)
(ADVP (ADV etc<dot>)))))))
(PURB -RRB-))
(ID 93_a_law_h15a119;75_4))
arc(r_0093_0002__Notice,r_0093_0004__the_r_0093_0005__Purpose,r_0093_0003__of).
arc(r_0093_0002__Notice,r_0093_0009__the_r_0093_0010__Time,r_0093_0008__at).
arc(r_0093_0004__the_r_0093_0005__Purpose,r_0093_0007__Utilization,r_0093_0006__of).
arc(r_0093_0009__the_r_0093_0010__Time,r_0093_0012__Acquisition,r_0093_0011__of).
arc(r_0093_0012__Acquisition,r_0093_0014__etc_dot_,qual).
arc(z_0093_5009,r_0093_0002__Notice,z_0093_5002).
fof(formula,axiom,
? [R_0093_0007__UTILIZATION,R_0093_0004__THE_R_0093_0005__PURPOSE,R_0093_0014__ETC_DOT_,R_0093_0012__ACQUISITION,R_0093_0009__THE_R_0093_0010__TIME,R_0093_0002__NOTICE,Z_0093_5009] :
( r_0093_0007__Utilization(R_0093_0007__UTILIZATION)
& r_0093_0014__etc_dot_(R_0093_0014__ETC_DOT_)
& z_0093_5009(Z_0093_5009)
& has_z_0093_5002(Z_0093_5009,R_0093_0002__NOTICE)
& ~ ( has_r_0093_0008__at(R_0093_0002__NOTICE,R_0093_0009__THE_R_0093_0010__TIME)
& r_0093_0009__the_r_0093_0010__Time(R_0093_0009__THE_R_0093_0010__TIME)
& has_r_0093_0011__of(R_0093_0009__THE_R_0093_0010__TIME,R_0093_0012__ACQUISITION)
& r_0093_0012__Acquisition(R_0093_0012__ACQUISITION)
& has_qual(R_0093_0012__ACQUISITION,R_0093_0014__ETC_DOT_)
& has_r_0093_0003__of(R_0093_0002__NOTICE,R_0093_0004__THE_R_0093_0005__PURPOSE)
& r_0093_0004__the_r_0093_0005__Purpose(R_0093_0004__THE_R_0093_0005__PURPOSE)
& has_r_0093_0006__of(R_0093_0004__THE_R_0093_0005__PURPOSE,R_0093_0007__UTILIZATION) ) ) ).