TSPC 289_a_law

289_a_law_h15a119
The purpose for political activities (including activities incidental thereto)

( (NP (D The;{the})
      (N purpose;{purpose})
      (PP (P-ROLE for;{for})
          (NP (ADJP (ADJ political;{political}))
              (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 289_a_law_h15a119;224_5_50_1v))

arc(r_0289_0001__The_r_0289_0002__purpose,r_0289_0005__activities,r_0289_0003__for).
arc(r_0289_0005__activities,r_0289_0004__political,attrib).
arc(r_0289_0007__including,r_0289_0005__activities,inv_arg0).
arc(r_0289_0007__including,r_0289_0008__activities_r_0289_0010__thereto,arg1).
arc(r_0289_0008__activities_r_0289_0010__thereto,r_0289_0009__incidental,attrib).
arc(z_0289_5009,r_0289_0001__The_r_0289_0002__purpose,z_0289_5002).

fof(formula,axiom,
    ? [R_0289_0004__POLITICAL,R_0289_0009__INCIDENTAL,R_0289_0008__ACTIVITIES_R_0289_0010__THERETO,R_0289_0007__INCLUDING,R_0289_0005__ACTIVITIES,R_0289_0001__THE_R_0289_0002__PURPOSE,Z_0289_5009] :
      ( r_0289_0004__political(R_0289_0004__POLITICAL)
      & r_0289_0009__incidental(R_0289_0009__INCIDENTAL)
      & z_0289_5009(Z_0289_5009)
      & has_z_0289_5002(Z_0289_5009,R_0289_0001__THE_R_0289_0002__PURPOSE)
      & r_0289_0001__The_r_0289_0002__purpose(R_0289_0001__THE_R_0289_0002__PURPOSE)
      & has_r_0289_0003__for(R_0289_0001__THE_R_0289_0002__PURPOSE,R_0289_0005__ACTIVITIES)
      & r_0289_0005__activities(R_0289_0005__ACTIVITIES)
      & has_inv_arg0(R_0289_0005__ACTIVITIES,R_0289_0007__INCLUDING)
      & r_0289_0007__including(R_0289_0007__INCLUDING)
      & has_arg1(R_0289_0007__INCLUDING,R_0289_0008__ACTIVITIES_R_0289_0010__THERETO)
      & r_0289_0008__activities_r_0289_0010__thereto(R_0289_0008__ACTIVITIES_R_0289_0010__THERETO)
      & has_attrib(R_0289_0008__ACTIVITIES_R_0289_0010__THERETO,R_0289_0009__INCIDENTAL)
      & has_attrib(R_0289_0005__ACTIVITIES,R_0289_0004__POLITICAL) ) ).