66_a_law_h15a119
(Support to Entities and Others in 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))
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_0066_5008,r_0066_0002__Support,z_0066_5002).
fof(formula,axiom,
? [R_0066_0004__ENTITIES,R_0066_0006__OTHERS,R_0066_0008__THE_R_0066_0009__AREA,R_0066_0005__AND,R_0066_0002__SUPPORT,Z_0066_5008] :
( r_0066_0004__Entities(R_0066_0004__ENTITIES)
& r_0066_0006__Others(R_0066_0006__OTHERS)
& r_0066_0008__the_r_0066_0009__Area(R_0066_0008__THE_R_0066_0009__AREA)
& z_0066_5008(Z_0066_5008)
& has_z_0066_5002(Z_0066_5008,R_0066_0002__SUPPORT)
& r_0066_0002__Support(R_0066_0002__SUPPORT)
& has_r_0066_0003__to(R_0066_0002__SUPPORT,R_0066_0005__AND)
& r_0066_0005__and(R_0066_0005__AND)
& has_r_0066_0007__in(R_0066_0005__AND,R_0066_0008__THE_R_0066_0009__AREA)
& has_conj2(R_0066_0005__AND,R_0066_0006__OTHERS)
& has_conj1(R_0066_0005__AND,R_0066_0004__ENTITIES) ) ).