320_a_law_h15a119
Supplementary Provisions (Extract)
arc(r_0320_0002__Provisions, r_0320_0001__Supplementary, attrib3).
arc(z_000_320_a_law_h15a119_1, r_0320_0002__Provisions, nim2).
arc(z_000_320_a_law_h15a119_10, r_0320_0002__Provisions, arg0).
arc(z_000_320_a_law_h15a119_10, r_0320_0004__Extract, prd).
fof(formula,axiom,
? [Z_320_A_LAW_H15A119_1,Z_320_A_LAW_H15A119_10,R_320_2_PROVISIONS,R_320_1_SUPPLEMENTARY,R_320_4_EXTRACT] :
( supplementary(R_320_1_SUPPLEMENTARY)
& extract(R_320_4_EXTRACT)
& z_320_a_law_h15a119_1(Z_320_A_LAW_H15A119_1)
& nim2(Z_320_A_LAW_H15A119_1,R_320_2_PROVISIONS)
& provisions(R_320_2_PROVISIONS)
& attrib3(R_320_2_PROVISIONS,R_320_1_SUPPLEMENTARY)
& z_320_a_law_h15a119_10(Z_320_A_LAW_H15A119_10,R_320_2_PROVISIONS,R_320_4_EXTRACT) ) ).
( (FRAG (NP (ADJP (ADJ Supplementary;{supplementary}))
(NS Provisions;{provision})
(PULB -LRB-)
(IP-PPL (NP-PRD (N Extract;{extract}))))
(PURB -RRB-))
(ID 320_a_law_h15a119;246))