93_a_law_h15a119
(Notice of the Purpose of Utilization at the Time of Acquisition, etc.)
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_, qual37).
arc(z_000_93_a_law_h15a119_1, r_0093_0002__Notice, nim4).
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_000_93_A_LAW_H15A119_1] :
( r_0093_0007__Utilization(R_0093_0007__UTILIZATION)
& r_0093_0014__etc_dot_(R_0093_0014__ETC_DOT_)
& z_000_93_a_law_h15a119_1(Z_000_93_A_LAW_H15A119_1)
& has_nim4(Z_000_93_A_LAW_H15A119_1,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_qual37(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) ) ) ).
( (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))