287_a_law_h15a119
The purpose for religious activities (including activities incidental thereto)
( (NP (D The;{the})
(N purpose;{purpose})
(PP (P-ROLE for;{for})
(NP (ADJP (ADJ religious;{religious}))
(NS activities;{activity})
(IP-PPL (PULB -LRB-)
(VAG;_Tn_ including;{include})
(NP-OB1 (NS activities;{activity})
(ADJP (ADJ incidental;{incidental}))
(N thereto;{thereto}))
(PURB -RRB-)))))
(ID 287_a_law_h15a119;223_5_50_1iv))
arc(r_0287_0001__The_r_0287_0002__purpose,r_0287_0005__activities,r_0287_0003__for).
arc(r_0287_0005__activities,r_0287_0004__religious,attrib).
arc(r_0287_0007__including,r_0287_0005__activities,inv_arg0).
arc(r_0287_0007__including,r_0287_0008__activities_r_0287_0010__thereto,arg1).
arc(r_0287_0008__activities_r_0287_0010__thereto,r_0287_0009__incidental,attrib).
arc(z_0287_5009,r_0287_0001__The_r_0287_0002__purpose,z_0287_5002).
fof(formula,axiom,
? [R_0287_0004__RELIGIOUS,R_0287_0009__INCIDENTAL,R_0287_0008__ACTIVITIES_R_0287_0010__THERETO,R_0287_0007__INCLUDING,R_0287_0005__ACTIVITIES,R_0287_0001__THE_R_0287_0002__PURPOSE,Z_0287_5009] :
( r_0287_0004__religious(R_0287_0004__RELIGIOUS)
& r_0287_0009__incidental(R_0287_0009__INCIDENTAL)
& z_0287_5009(Z_0287_5009)
& has_z_0287_5002(Z_0287_5009,R_0287_0001__THE_R_0287_0002__PURPOSE)
& r_0287_0001__The_r_0287_0002__purpose(R_0287_0001__THE_R_0287_0002__PURPOSE)
& has_r_0287_0003__for(R_0287_0001__THE_R_0287_0002__PURPOSE,R_0287_0005__ACTIVITIES)
& r_0287_0005__activities(R_0287_0005__ACTIVITIES)
& has_inv_arg0(R_0287_0005__ACTIVITIES,R_0287_0007__INCLUDING)
& r_0287_0007__including(R_0287_0007__INCLUDING)
& has_arg1(R_0287_0007__INCLUDING,R_0287_0008__ACTIVITIES_R_0287_0010__THERETO)
& r_0287_0008__activities_r_0287_0010__thereto(R_0287_0008__ACTIVITIES_R_0287_0010__THERETO)
& has_attrib(R_0287_0008__ACTIVITIES_R_0287_0010__THERETO,R_0287_0009__INCIDENTAL)
& has_attrib(R_0287_0005__ACTIVITIES,R_0287_0004__RELIGIOUS) ) ).