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,
? [Z_93_A_LAW_H15A119_1,R_93_2_NOTICE,R_93_4_THE_PURPOSE,R_93_7_UTILIZATION,R_93_9_THE_TIME,R_93_12_ACQUISITION,R_93_14_ETC_DOT_] :
( utilization(R_93_7_UTILIZATION)
& etc_dot_(R_93_14_ETC_DOT_)
& z_93_a_law_h15a119_1(Z_93_A_LAW_H15A119_1)
& nim4(Z_93_A_LAW_H15A119_1,R_93_2_NOTICE)
& notice(R_93_2_NOTICE)
& of(R_93_2_NOTICE,R_93_4_THE_PURPOSE)
& the_Purpose(R_93_4_THE_PURPOSE)
& of(R_93_4_THE_PURPOSE,R_93_7_UTILIZATION)
& at(R_93_2_NOTICE,R_93_9_THE_TIME)
& the_Time(R_93_9_THE_TIME)
& of(R_93_9_THE_TIME,R_93_12_ACQUISITION)
& acquisition(R_93_12_ACQUISITION)
& qual37(R_93_12_ACQUISITION,R_93_14_ETC_DOT_) ) ).
( (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))