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 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] 
fof(formula,axiom,
    ? [R_144_5_FALLING,R_144_7_ANY,R_144_9_ITEMS_I,R_144_15_III,R_144_18_PARAGRAPH_4,R_144_23_ARTICLE_18,Z_144_A_LAW_H15A119_1,R_144_4_CASES] :
      ( iii(R_144_15_III)
      & article_18(R_144_23_ARTICLE_18)
      & cases(R_144_4_CASES)
      & falling(R_144_5_FALLING,R_144_4_CASES)
      & under_clr18(R_144_5_FALLING,R_144_7_ANY)
      & any(R_144_7_ANY)
      & of(R_144_7_ANY,R_144_9_ITEMS_I)
      & items_i(R_144_9_ITEMS_I)
      & to(R_144_9_ITEMS_I,R_144_15_III)
      & of(R_144_9_ITEMS_I,R_144_18_PARAGRAPH_4)
      & paragraph_4(R_144_18_PARAGRAPH_4)
      & of(R_144_18_PARAGRAPH_4,R_144_23_ARTICLE_18)
      & z_144_a_law_h15a119_1(Z_144_A_LAW_H15A119_1)
      & nim9(Z_144_A_LAW_H15A119_1,R_144_4_CASES) ) ).


n144_a_law_h15a119 n144_a_law_h15a119_3 -LRB- n144_a_law_h15a119_6 ii n144_a_law_h15a119_8 -RRB- n144_a_law_h15a119_11 Cases n144_a_law_h15a119_14 falling n144_a_law_h15a119_17 under n144_a_law_h15a119_20 any n144_a_law_h15a119_23 of n144_a_law_h15a119_26 items n144_a_law_h15a119_28 -LRB- n144_a_law_h15a119_30 i n144_a_law_h15a119_32 -RRB- n144_a_law_h15a119_35 to n144_a_law_h15a119_38 -LRB- n144_a_law_h15a119_40 iii n144_a_law_h15a119_42 -RRB- n144_a_law_h15a119_45 of n144_a_law_h15a119_48 paragraph n144_a_law_h15a119_50 -LRB- n144_a_law_h15a119_52 4 n144_a_law_h15a119_54 -RRB- n144_a_law_h15a119_57 of n144_a_law_h15a119_60 Article n144_a_law_h15a119_62 18 n144_a_law_h15a119_1 FRAG n144_a_law_h15a119_2 PULB n144_a_law_h15a119_1->n144_a_law_h15a119_2 n144_a_law_h15a119_4 LST n144_a_law_h15a119_1->n144_a_law_h15a119_4 n144_a_law_h15a119_7 PURB n144_a_law_h15a119_1->n144_a_law_h15a119_7 n144_a_law_h15a119_9 NP n144_a_law_h15a119_1->n144_a_law_h15a119_9 n144_a_law_h15a119_2->n144_a_law_h15a119_3 n144_a_law_h15a119_5 LS n144_a_law_h15a119_4->n144_a_law_h15a119_5 n144_a_law_h15a119_5->n144_a_law_h15a119_6 n144_a_law_h15a119_7->n144_a_law_h15a119_8 n144_a_law_h15a119_10 NS n144_a_law_h15a119_9->n144_a_law_h15a119_10 n144_a_law_h15a119_12 IP-PPL n144_a_law_h15a119_9->n144_a_law_h15a119_12 n144_a_law_h15a119_10->n144_a_law_h15a119_11 n144_a_law_h15a119_13 VAG;_Ipr_ n144_a_law_h15a119_12->n144_a_law_h15a119_13 n144_a_law_h15a119_15 PP-CLR n144_a_law_h15a119_12->n144_a_law_h15a119_15 n144_a_law_h15a119_13->n144_a_law_h15a119_14 n144_a_law_h15a119_16 P-ROLE n144_a_law_h15a119_15->n144_a_law_h15a119_16 n144_a_law_h15a119_18 NP n144_a_law_h15a119_15->n144_a_law_h15a119_18 n144_a_law_h15a119_16->n144_a_law_h15a119_17 n144_a_law_h15a119_19 D;_nphd_ n144_a_law_h15a119_18->n144_a_law_h15a119_19 n144_a_law_h15a119_21 PP n144_a_law_h15a119_18->n144_a_law_h15a119_21 n144_a_law_h15a119_19->n144_a_law_h15a119_20 n144_a_law_h15a119_22 P-ROLE n144_a_law_h15a119_21->n144_a_law_h15a119_22 n144_a_law_h15a119_24 NP n144_a_law_h15a119_21->n144_a_law_h15a119_24 n144_a_law_h15a119_22->n144_a_law_h15a119_23 n144_a_law_h15a119_25 NS n144_a_law_h15a119_24->n144_a_law_h15a119_25 n144_a_law_h15a119_27 PULB n144_a_law_h15a119_24->n144_a_law_h15a119_27 n144_a_law_h15a119_29 N n144_a_law_h15a119_24->n144_a_law_h15a119_29 n144_a_law_h15a119_31 PURB n144_a_law_h15a119_24->n144_a_law_h15a119_31 n144_a_law_h15a119_33 PP n144_a_law_h15a119_24->n144_a_law_h15a119_33 n144_a_law_h15a119_43 PP n144_a_law_h15a119_24->n144_a_law_h15a119_43 n144_a_law_h15a119_25->n144_a_law_h15a119_26 n144_a_law_h15a119_27->n144_a_law_h15a119_28 n144_a_law_h15a119_29->n144_a_law_h15a119_30 n144_a_law_h15a119_31->n144_a_law_h15a119_32 n144_a_law_h15a119_34 P-ROLE n144_a_law_h15a119_33->n144_a_law_h15a119_34 n144_a_law_h15a119_36 NP n144_a_law_h15a119_33->n144_a_law_h15a119_36 n144_a_law_h15a119_34->n144_a_law_h15a119_35 n144_a_law_h15a119_37 PULB n144_a_law_h15a119_36->n144_a_law_h15a119_37 n144_a_law_h15a119_39 N n144_a_law_h15a119_36->n144_a_law_h15a119_39 n144_a_law_h15a119_41 PURB n144_a_law_h15a119_36->n144_a_law_h15a119_41 n144_a_law_h15a119_37->n144_a_law_h15a119_38 n144_a_law_h15a119_39->n144_a_law_h15a119_40 n144_a_law_h15a119_41->n144_a_law_h15a119_42 n144_a_law_h15a119_44 P-ROLE n144_a_law_h15a119_43->n144_a_law_h15a119_44 n144_a_law_h15a119_46 NP n144_a_law_h15a119_43->n144_a_law_h15a119_46 n144_a_law_h15a119_44->n144_a_law_h15a119_45 n144_a_law_h15a119_47 N n144_a_law_h15a119_46->n144_a_law_h15a119_47 n144_a_law_h15a119_49 PULB n144_a_law_h15a119_46->n144_a_law_h15a119_49 n144_a_law_h15a119_51 NUM n144_a_law_h15a119_46->n144_a_law_h15a119_51 n144_a_law_h15a119_53 PURB n144_a_law_h15a119_46->n144_a_law_h15a119_53 n144_a_law_h15a119_55 PP n144_a_law_h15a119_46->n144_a_law_h15a119_55 n144_a_law_h15a119_47->n144_a_law_h15a119_48 n144_a_law_h15a119_49->n144_a_law_h15a119_50 n144_a_law_h15a119_51->n144_a_law_h15a119_52 n144_a_law_h15a119_53->n144_a_law_h15a119_54 n144_a_law_h15a119_56 P-ROLE n144_a_law_h15a119_55->n144_a_law_h15a119_56 n144_a_law_h15a119_58 NP n144_a_law_h15a119_55->n144_a_law_h15a119_58 n144_a_law_h15a119_56->n144_a_law_h15a119_57 n144_a_law_h15a119_59 N n144_a_law_h15a119_58->n144_a_law_h15a119_59 n144_a_law_h15a119_61 NUM n144_a_law_h15a119_58->n144_a_law_h15a119_61 n144_a_law_h15a119_59->n144_a_law_h15a119_60 n144_a_law_h15a119_61->n144_a_law_h15a119_62 
( (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))