Context                Previous, Next                Top


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

%3 r_0144_0005__falling falling r_0144_0004__Cases Cases r_0144_0005__falling->r_0144_0004__Cases [arg0] r_0144_0007__any any r_0144_0005__falling->r_0144_0007__any under [clr] r_0144_0009__items_r_0144_0011__i items i r_0144_0007__any->r_0144_0009__items_r_0144_0011__i of r_0144_0015__iii iii r_0144_0009__items_r_0144_0011__i->r_0144_0015__iii to r_0144_0018__paragraph_r_0144_0020__4 paragraph 4 r_0144_0009__items_r_0144_0011__i->r_0144_0018__paragraph_r_0144_0020__4 of r_0144_0023__Article_r_0144_0024__18 Article 18 r_0144_0018__paragraph_r_0144_0020__4->r_0144_0023__Article_r_0144_0024__18 of z_000_144_a_law_h15a119_1 z_000_144_a_law_h15a119_1->r_0144_0004__Cases [nim] 
arc(r_0144_0005__falling, r_0144_0004__Cases, arg0).
arc(r_0144_0005__falling, r_0144_0007__any, r_0144_0006__under_clr18).
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_000_144_a_law_h15a119_1, r_0144_0004__Cases, nim9).


%3 z_000_144_a_law_h15a119_1 r_0144_0004__Cases Cases z_000_144_a_law_h15a119_1->r_0144_0004__Cases [nim] r_0144_0018__paragraph_r_0144_0020__4 paragraph 4 r_0144_0023__Article_r_0144_0024__18 Article 18 r_0144_0018__paragraph_r_0144_0020__4->r_0144_0023__Article_r_0144_0024__18 of r_0144_0009__items_r_0144_0011__i items i r_0144_0009__items_r_0144_0011__i->r_0144_0018__paragraph_r_0144_0020__4 of r_0144_0015__iii iii r_0144_0009__items_r_0144_0011__i->r_0144_0015__iii to r_0144_0007__any any r_0144_0007__any->r_0144_0009__items_r_0144_0011__i of r_0144_0005__falling falling r_0144_0005__falling->r_0144_0004__Cases [arg0] r_0144_0005__falling->r_0144_0007__any under [clr] 
fof(formula,axiom,
    ? [R_0144_0004__CASES,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,Z_000_144_A_LAW_H15A119_1] :
      ( r_0144_0004__Cases(R_0144_0004__CASES)
      & 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_000_144_a_law_h15a119_1(Z_000_144_A_LAW_H15A119_1)
      & has_nim9(Z_000_144_A_LAW_H15A119_1,R_0144_0004__CASES)
      & r_0144_0005__falling(R_0144_0005__FALLING)
      & has_r_0144_0006__under_clr18(R_0144_0005__FALLING,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)
      & has_arg0(R_0144_0005__FALLING,R_0144_0004__CASES) ) ).


n144_a_law_h15a119 n144_a_law_h15a119__1_1_1 -LRB- n144_a_law_h15a119__1_2_1_1 ii n144_a_law_h15a119__1_3_1 -RRB- n144_a_law_h15a119__1_4_1_1 Cases n144_a_law_h15a119__1_4_2_1_1 falling n144_a_law_h15a119__1_4_2_2_1_1 under n144_a_law_h15a119__1_4_2_2_2_1_1 any n144_a_law_h15a119__1_4_2_2_2_2_1_1 of n144_a_law_h15a119__1_4_2_2_2_2_2_1_1 items n144_a_law_h15a119__1_4_2_2_2_2_2_2_1 -LRB- n144_a_law_h15a119__1_4_2_2_2_2_2_3_1 i n144_a_law_h15a119__1_4_2_2_2_2_2_4_1 -RRB- n144_a_law_h15a119__1_4_2_2_2_2_2_5_1_1 to n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_1_1 -LRB- n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_2_1 iii n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_3_1 -RRB- n144_a_law_h15a119__1_4_2_2_2_2_2_6_1_1 of n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_1_1 paragraph n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_2_1 -LRB- n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_3_1 4 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_4_1 -RRB- n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_1_1 of n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_1_1 Article n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_2_1 18 n144_a_law_h15a119__1 FRAG n144_a_law_h15a119__1_1 PULB n144_a_law_h15a119__1->n144_a_law_h15a119__1_1 n144_a_law_h15a119__1_2 LST n144_a_law_h15a119__1->n144_a_law_h15a119__1_2 n144_a_law_h15a119__1_3 PURB n144_a_law_h15a119__1->n144_a_law_h15a119__1_3 n144_a_law_h15a119__1_4 NP n144_a_law_h15a119__1->n144_a_law_h15a119__1_4 n144_a_law_h15a119__1_1->n144_a_law_h15a119__1_1_1 n144_a_law_h15a119__1_2_1 LS n144_a_law_h15a119__1_2->n144_a_law_h15a119__1_2_1 n144_a_law_h15a119__1_2_1->n144_a_law_h15a119__1_2_1_1 n144_a_law_h15a119__1_3->n144_a_law_h15a119__1_3_1 n144_a_law_h15a119__1_4_1 NS n144_a_law_h15a119__1_4->n144_a_law_h15a119__1_4_1 n144_a_law_h15a119__1_4_2 IP-PPL n144_a_law_h15a119__1_4->n144_a_law_h15a119__1_4_2 n144_a_law_h15a119__1_4_1->n144_a_law_h15a119__1_4_1_1 n144_a_law_h15a119__1_4_2_1 VAG;_Ipr_ n144_a_law_h15a119__1_4_2->n144_a_law_h15a119__1_4_2_1 n144_a_law_h15a119__1_4_2_2 PP-CLR n144_a_law_h15a119__1_4_2->n144_a_law_h15a119__1_4_2_2 n144_a_law_h15a119__1_4_2_1->n144_a_law_h15a119__1_4_2_1_1 n144_a_law_h15a119__1_4_2_2_1 P-ROLE n144_a_law_h15a119__1_4_2_2->n144_a_law_h15a119__1_4_2_2_1 n144_a_law_h15a119__1_4_2_2_2 NP n144_a_law_h15a119__1_4_2_2->n144_a_law_h15a119__1_4_2_2_2 n144_a_law_h15a119__1_4_2_2_1->n144_a_law_h15a119__1_4_2_2_1_1 n144_a_law_h15a119__1_4_2_2_2_1 D;_nphd_ n144_a_law_h15a119__1_4_2_2_2->n144_a_law_h15a119__1_4_2_2_2_1 n144_a_law_h15a119__1_4_2_2_2_2 PP n144_a_law_h15a119__1_4_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2 n144_a_law_h15a119__1_4_2_2_2_1->n144_a_law_h15a119__1_4_2_2_2_1_1 n144_a_law_h15a119__1_4_2_2_2_2_1 P-ROLE n144_a_law_h15a119__1_4_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_1 n144_a_law_h15a119__1_4_2_2_2_2_2 NP n144_a_law_h15a119__1_4_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2 n144_a_law_h15a119__1_4_2_2_2_2_1->n144_a_law_h15a119__1_4_2_2_2_2_1_1 n144_a_law_h15a119__1_4_2_2_2_2_2_1 NS n144_a_law_h15a119__1_4_2_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_1 n144_a_law_h15a119__1_4_2_2_2_2_2_2 PULB n144_a_law_h15a119__1_4_2_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_2 n144_a_law_h15a119__1_4_2_2_2_2_2_3 N n144_a_law_h15a119__1_4_2_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_3 n144_a_law_h15a119__1_4_2_2_2_2_2_4 PURB n144_a_law_h15a119__1_4_2_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_4 n144_a_law_h15a119__1_4_2_2_2_2_2_5 PP n144_a_law_h15a119__1_4_2_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_5 n144_a_law_h15a119__1_4_2_2_2_2_2_6 PP n144_a_law_h15a119__1_4_2_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6 n144_a_law_h15a119__1_4_2_2_2_2_2_1->n144_a_law_h15a119__1_4_2_2_2_2_2_1_1 n144_a_law_h15a119__1_4_2_2_2_2_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_2_1 n144_a_law_h15a119__1_4_2_2_2_2_2_3->n144_a_law_h15a119__1_4_2_2_2_2_2_3_1 n144_a_law_h15a119__1_4_2_2_2_2_2_4->n144_a_law_h15a119__1_4_2_2_2_2_2_4_1 n144_a_law_h15a119__1_4_2_2_2_2_2_5_1 P-ROLE n144_a_law_h15a119__1_4_2_2_2_2_2_5->n144_a_law_h15a119__1_4_2_2_2_2_2_5_1 n144_a_law_h15a119__1_4_2_2_2_2_2_5_2 NP n144_a_law_h15a119__1_4_2_2_2_2_2_5->n144_a_law_h15a119__1_4_2_2_2_2_2_5_2 n144_a_law_h15a119__1_4_2_2_2_2_2_5_1->n144_a_law_h15a119__1_4_2_2_2_2_2_5_1_1 n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_1 PULB n144_a_law_h15a119__1_4_2_2_2_2_2_5_2->n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_1 n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_2 N n144_a_law_h15a119__1_4_2_2_2_2_2_5_2->n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_2 n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_3 PURB n144_a_law_h15a119__1_4_2_2_2_2_2_5_2->n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_3 n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_1->n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_1_1 n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_2_1 n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_3->n144_a_law_h15a119__1_4_2_2_2_2_2_5_2_3_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_1 P-ROLE n144_a_law_h15a119__1_4_2_2_2_2_2_6->n144_a_law_h15a119__1_4_2_2_2_2_2_6_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2 NP n144_a_law_h15a119__1_4_2_2_2_2_2_6->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2 n144_a_law_h15a119__1_4_2_2_2_2_2_6_1->n144_a_law_h15a119__1_4_2_2_2_2_2_6_1_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_1 N n144_a_law_h15a119__1_4_2_2_2_2_2_6_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_2 PULB n144_a_law_h15a119__1_4_2_2_2_2_2_6_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_2 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_3 NUM n144_a_law_h15a119__1_4_2_2_2_2_2_6_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_3 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_4 PURB n144_a_law_h15a119__1_4_2_2_2_2_2_6_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_4 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5 PP n144_a_law_h15a119__1_4_2_2_2_2_2_6_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_1->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_1_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_2_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_3->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_3_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_4->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_4_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_1 P-ROLE n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2 NP n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_1->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_1_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_1 N n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_2 NUM n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_2 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_1->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_1_1 n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_2->n144_a_law_h15a119__1_4_2_2_2_2_2_6_2_5_2_2_1 
( (FRAG (PULB -LRB-)
        (LST (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))