301_a_law_h15a119
(2) Each year the Prime Minister shall compile the reports set forth in the preceding paragraph and publicly announce their outline.
arc(r_0301_0004__Each_quant, r_0301_0005__year, restriction).
arc(r_0301_0004__Each_quant, r_0301_0009__shall, scope).
arc(r_0301_0009__shall, r_0301_0019__and, scope).
arc(r_0301_0010__compile, r_0301_0005__year, nim24).
arc(r_0301_0010__compile, r_0301_0006__the_r_0301_0007__Prime_r_0301_0008__Minister, arg0).
arc(r_0301_0010__compile, r_0301_0011__the_r_0301_0012__reports, arg1).
arc(r_0301_0013__set_r_0301_0014__forth, r_0301_0011__the_r_0301_0012__reports, arg1).
arc(r_0301_0013__set_r_0301_0014__forth, r_0301_0016__the_r_0301_0018__paragraph, r_0301_0015__in_nim45).
arc(r_0301_0013__set_r_0301_0014__forth, z_000_301_a_law_h15a119_36, arg0).
arc(r_0301_0016__the_r_0301_0018__paragraph, r_0301_0017__preceding, attrib48).
arc(r_0301_0019__and, r_0301_0010__compile, conj1).
arc(r_0301_0019__and, r_0301_0021__announce, conj2).
arc(r_0301_0021__announce, r_0301_0005__year, nim24).
arc(r_0301_0021__announce, r_0301_0006__the_r_0301_0007__Prime_r_0301_0008__Minister, arg0).
arc(r_0301_0021__announce, r_0301_0020__publicly, nim57).
arc(r_0301_0021__announce, r_0301_0023__outline, arg1).
arc(r_0301_0023__outline, r_0301_0016__the_r_0301_0018__paragraph, gen).
fof(formula,axiom,
? [R_301_13_SET_FORTH,Z_301_A_LAW_H15A119_36,R_301_11_THE_REPORTS,R_301_16_THE_PARAGRAPH,R_301_17_PRECEDING] :
( the_reports(R_301_11_THE_REPORTS)
& preceding(R_301_17_PRECEDING)
& ! [R_301_5_YEAR] :
( year(R_301_5_YEAR)
=> ~ ? [R_301_19_AND,R_301_10_COMPILE,R_301_21_ANNOUNCE,R_301_6_THE_PRIME_MINISTER,R_301_23_OUTLINE,R_301_20_PUBLICLY] :
( the_Prime_Minister(R_301_6_THE_PRIME_MINISTER)
& publicly(R_301_20_PUBLICLY)
& and(R_301_19_AND)
& conj1(R_301_19_AND,R_301_10_COMPILE)
& compile(R_301_10_COMPILE,R_301_6_THE_PRIME_MINISTER,R_301_11_THE_REPORTS)
& nim24(R_301_10_COMPILE,R_301_5_YEAR)
& conj2(R_301_19_AND,R_301_21_ANNOUNCE)
& announce(R_301_21_ANNOUNCE,R_301_6_THE_PRIME_MINISTER,R_301_23_OUTLINE)
& outline(R_301_23_OUTLINE)
& gen(R_301_23_OUTLINE,R_301_16_THE_PARAGRAPH)
& nim24(R_301_21_ANNOUNCE,R_301_5_YEAR)
& nim57(R_301_21_ANNOUNCE,R_301_20_PUBLICLY) ) )
& set_forth(R_301_13_SET_FORTH,Z_301_A_LAW_H15A119_36,R_301_11_THE_REPORTS)
& in_nim45(R_301_13_SET_FORTH,R_301_16_THE_PARAGRAPH)
& the_paragraph(R_301_16_THE_PARAGRAPH)
& attrib48(R_301_16_THE_PARAGRAPH,R_301_17_PRECEDING) ) ).
( (IP-MAT (LST (PULB -LRB-)
(LS 2)
(PURB -RRB-))
(NP-190 (Q Each;{each})
(N year;{year}))
(NP-SBJ (D the;{the})
(NPR Prime;{Prime})
(NPR Minister;{Minister}))
(MD;_cat_Vi_ shall;{shall})
(IP-INF-CAT (NP-NIM *ICH*-190)
(ILYR (ILYR (VB;_Tn_ compile;{compile})
(NP-OB1 (D the;{the})
(NS reports;{report})
(IP-PPL (NP-LGS *)
(VVN;_phr_Vp.n_ set;{set[forth]})
(RP forth;{forth})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(ADJP (ADJ preceding;{preceding}))
(N paragraph;{paragraph}))))))
(CONJP (CONJ and;{and})
(ILYR (ADVP-NIM (ADV publicly;{publicly}))
(VB;_Tn_ announce;{announce})
(NP-OB1 (NP-GEN (PRO;_genm_ their;{their}))
(N outline;{outline}))))))
(PUNC .))
(ID 301_a_law_h15a119;233_5_53_2))