66_a_law_h15a119
(Support to Entities and Others in the Area)
arc(r_0066_0002__Support, r_0066_0005__and, r_0066_0003__to).
arc(r_0066_0005__and, r_0066_0004__Entities, conj1).
arc(r_0066_0005__and, r_0066_0006__Others, conj2).
arc(r_0066_0005__and, r_0066_0008__the_r_0066_0009__Area, r_0066_0007__in).
arc(z_000_66_a_law_h15a119_1, r_0066_0002__Support, nim4).
fof(formula,axiom,
? [Z_66_A_LAW_H15A119_1,R_66_2_SUPPORT,R_66_5_AND,R_66_4_ENTITIES,R_66_6_OTHERS,R_66_8_THE_AREA] :
( entities(R_66_4_ENTITIES)
& others(R_66_6_OTHERS)
& the_Area(R_66_8_THE_AREA)
& z_66_a_law_h15a119_1(Z_66_A_LAW_H15A119_1)
& nim4(Z_66_A_LAW_H15A119_1,R_66_2_SUPPORT)
& support(R_66_2_SUPPORT)
& to(R_66_2_SUPPORT,R_66_5_AND)
& and(R_66_5_AND)
& conj1(R_66_5_AND,R_66_4_ENTITIES)
& conj2(R_66_5_AND,R_66_6_OTHERS)
& in(R_66_5_AND,R_66_8_THE_AREA) ) ).
( (FRAG (PULB -LRB-)
(NP (N Support;{support})
(PP (P-ROLE to;{to})
(NP (NLYR (NLYR (NS Entities;{entity}))
(CONJP (CONJ and;{and})
(NLYR (NS Others;{other}))))
(PP (P-ROLE in;{in})
(NP (D the;{the})
(N Area;{area}))))))
(PURB -RRB-))
(ID 66_a_law_h15a119;54_3))