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,
? [R_0015_0004__LOCAL,R_0015_0005__GOVERNMENTS,Z_000_15_A_LAW_H15A119_1] :
( r_0015_0004__Local(R_0015_0004__LOCAL)
& z_000_15_a_law_h15a119_1(Z_000_15_A_LAW_H15A119_1)
& has_nim9(Z_000_15_A_LAW_H15A119_1,R_0015_0005__GOVERNMENTS)
& r_0015_0005__governments(R_0015_0005__GOVERNMENTS)
& has_attrib10(R_0015_0005__GOVERNMENTS,R_0015_0004__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))