TSPC 144_a_law

144_a_law_h15a119
(ii) Cases falling under any of items (i) to (iii) of paragraph (4) of Article 18

( (FRAG (LST (PULB -LRB-)
             (LS ii)
             (PURB -RRB-))
        (NP (NS Cases;{case})
            (IP-PPL (VAG;_Ipr_ falling;{fall[under]})
                    (PP-CLR (P-ROLE under;{under})
                            (NP (D;_nphd_ any;{any})
                                (PP (P-ROLE of;{of})
                                    (NP (NS items;{item})
                                        (PULB -LRB-)
                                        (N i;{I})
                                        (PURB -RRB-)
                                        (PP (P-ROLE to;{to})
                                            (NP (PULB -LRB-)
                                                (N iii;{iii})
                                                (PURB -RRB-)))
                                        (PP (P-ROLE of;{of})
                                            (NP (N paragraph;{paragraph})
                                                (PULB -LRB-)
                                                (NUM 4)
                                                (PURB -RRB-)
                                                (PP (P-ROLE of;{of})
                                                    (NP (N Article;{article})
                                                        (NUM 18))))))))))))
  (ID 144_a_law_h15a119;117_4_24_2ii))

arc(r_0144_0005__falling_r_0144_0006__under,r_0144_0004__Cases,inv_arg0).
arc(r_0144_0005__falling_r_0144_0006__under,r_0144_0007__any,arg1).
arc(r_0144_0007__any,r_0144_0009__items_r_0144_0011__i,r_0144_0008__of).
arc(r_0144_0009__items_r_0144_0011__i,r_0144_0015__iii,r_0144_0013__to).
arc(r_0144_0009__items_r_0144_0011__i,r_0144_0018__paragraph_r_0144_0020__4,r_0144_0017__of).
arc(r_0144_0018__paragraph_r_0144_0020__4,r_0144_0023__Article_r_0144_0024__18,r_0144_0022__of).
arc(z_0144_5009,r_0144_0004__Cases,z_0144_5002).

fof(formula,axiom,
    ? [R_0144_0015__III,R_0144_0023__ARTICLE_R_0144_0024__18,R_0144_0018__PARAGRAPH_R_0144_0020__4,R_0144_0009__ITEMS_R_0144_0011__I,R_0144_0007__ANY,R_0144_0005__FALLING_R_0144_0006__UNDER,R_0144_0004__CASES,Z_0144_5009] :
      ( r_0144_0015__iii(R_0144_0015__III)
      & r_0144_0023__Article_r_0144_0024__18(R_0144_0023__ARTICLE_R_0144_0024__18)
      & z_0144_5009(Z_0144_5009)
      & has_z_0144_5002(Z_0144_5009,R_0144_0004__CASES)
      & r_0144_0004__Cases(R_0144_0004__CASES)
      & has_inv_arg0(R_0144_0004__CASES,R_0144_0005__FALLING_R_0144_0006__UNDER)
      & r_0144_0005__falling_r_0144_0006__under(R_0144_0005__FALLING_R_0144_0006__UNDER)
      & has_arg1(R_0144_0005__FALLING_R_0144_0006__UNDER,R_0144_0007__ANY)
      & r_0144_0007__any(R_0144_0007__ANY)
      & has_r_0144_0008__of(R_0144_0007__ANY,R_0144_0009__ITEMS_R_0144_0011__I)
      & r_0144_0009__items_r_0144_0011__i(R_0144_0009__ITEMS_R_0144_0011__I)
      & has_r_0144_0017__of(R_0144_0009__ITEMS_R_0144_0011__I,R_0144_0018__PARAGRAPH_R_0144_0020__4)
      & r_0144_0018__paragraph_r_0144_0020__4(R_0144_0018__PARAGRAPH_R_0144_0020__4)
      & has_r_0144_0022__of(R_0144_0018__PARAGRAPH_R_0144_0020__4,R_0144_0023__ARTICLE_R_0144_0024__18)
      & has_r_0144_0013__to(R_0144_0009__ITEMS_R_0144_0011__I,R_0144_0015__III) ) ).