15_a_law_h15a119
(ii) Local governments
arc(r_0015_0005__governments, r_0015_0004__Local, attrib10).
arc(z_000_15_a_law_h15a119_1, r_0015_0005__governments, nim9).
fof(formula,axiom,
? [Z_15_A_LAW_H15A119_1,R_15_5_GOVERNMENTS,R_15_4_LOCAL] :
( local(R_15_4_LOCAL)
& z_15_a_law_h15a119_1(Z_15_A_LAW_H15A119_1)
& nim9(Z_15_A_LAW_H15A119_1,R_15_5_GOVERNMENTS)
& governments(R_15_5_GOVERNMENTS)
& attrib10(R_15_5_GOVERNMENTS,R_15_4_LOCAL) ) ).
( (FRAG (PULB -LRB-)
(LST (LS ii))
(PURB -RRB-)
(NP (ADJP (ADJ Local;{local}))
(NS governments;{government})))
(ID 15_a_law_h15a119;12_1_2_3ii))