Context                Previous, Next                Top


263_a_law_h15a119
(i) Cases of falling under item (i) or (iii) of Article 38

%3 r_0263_0004__Cases Cases r_0263_0006__falling falling r_0263_0004__Cases->r_0263_0006__falling of r_0263_0012__or or r_0263_0006__falling->r_0263_0012__or under [clr] z_000_263_a_law_h15a119_15 r_0263_0006__falling->z_000_263_a_law_h15a119_15 [arg0] r_0263_0008__item_r_0263_0010__i item i r_0263_0012__or->r_0263_0008__item_r_0263_0010__i [conj1] r_0263_0014__iii iii r_0263_0012__or->r_0263_0014__iii [conj2] r_0263_0017__Article_r_0263_0018__38 Article 38 r_0263_0012__or->r_0263_0017__Article_r_0263_0018__38 of z_000_263_a_law_h15a119_1 z_000_263_a_law_h15a119_1->r_0263_0004__Cases [nim] 
arc(r_0263_0004__Cases, r_0263_0006__falling, r_0263_0005__of).
arc(r_0263_0006__falling, r_0263_0012__or, r_0263_0007__under_clr21).
arc(r_0263_0006__falling, z_000_263_a_law_h15a119_15, arg0).
arc(r_0263_0012__or, r_0263_0008__item_r_0263_0010__i, conj1).
arc(r_0263_0012__or, r_0263_0014__iii, conj2).
arc(r_0263_0012__or, r_0263_0017__Article_r_0263_0018__38, r_0263_0016__of).
arc(z_000_263_a_law_h15a119_1, r_0263_0004__Cases, nim9).


%3 r_0263_0004__Cases Cases r_0263_0006__falling falling r_0263_0004__Cases->r_0263_0006__falling of r_0263_0012__or or r_0263_0006__falling->r_0263_0012__or under [clr] z_000_263_a_law_h15a119_15 r_0263_0006__falling->z_000_263_a_law_h15a119_15 [arg0] r_0263_0008__item_r_0263_0010__i item i r_0263_0012__or->r_0263_0008__item_r_0263_0010__i [conj1] r_0263_0014__iii iii r_0263_0012__or->r_0263_0014__iii [conj2] r_0263_0017__Article_r_0263_0018__38 Article 38 r_0263_0012__or->r_0263_0017__Article_r_0263_0018__38 of z_000_263_a_law_h15a119_1 z_000_263_a_law_h15a119_1->r_0263_0004__Cases [nim] 
fof(formula,axiom,
    ? [Z_263_A_LAW_H15A119_1,R_263_4_CASES,R_263_6_FALLING,Z_263_A_LAW_H15A119_15,R_263_12_OR,R_263_8_ITEM_I,R_263_14_III,R_263_17_ARTICLE_38] :
      ( item_i(R_263_8_ITEM_I)
      & iii(R_263_14_III)
      & article_38(R_263_17_ARTICLE_38)
      & z_263_a_law_h15a119_1(Z_263_A_LAW_H15A119_1)
      & nim9(Z_263_A_LAW_H15A119_1,R_263_4_CASES)
      & cases(R_263_4_CASES)
      & of(R_263_4_CASES,R_263_6_FALLING)
      & falling(R_263_6_FALLING,Z_263_A_LAW_H15A119_15)
      & under_clr21(R_263_6_FALLING,R_263_12_OR)
      & or(R_263_12_OR)
      & conj1(R_263_12_OR,R_263_8_ITEM_I)
      & conj2(R_263_12_OR,R_263_14_III)
      & of(R_263_12_OR,R_263_17_ARTICLE_38) ) ).


n263_a_law_h15a119 n263_a_law_h15a119_3 -LRB- n263_a_law_h15a119_6 i n263_a_law_h15a119_8 -RRB- n263_a_law_h15a119_11 Cases n263_a_law_h15a119_14 of n263_a_law_h15a119_17 falling n263_a_law_h15a119_20 under n263_a_law_h15a119_25 item n263_a_law_h15a119_27 -LRB- n263_a_law_h15a119_29 i n263_a_law_h15a119_31 -RRB- n263_a_law_h15a119_34 or n263_a_law_h15a119_37 -LRB- n263_a_law_h15a119_39 iii n263_a_law_h15a119_41 -RRB- n263_a_law_h15a119_44 of n263_a_law_h15a119_47 Article n263_a_law_h15a119_49 38 n263_a_law_h15a119_1 FRAG n263_a_law_h15a119_2 PULB n263_a_law_h15a119_1->n263_a_law_h15a119_2 n263_a_law_h15a119_4 LST n263_a_law_h15a119_1->n263_a_law_h15a119_4 n263_a_law_h15a119_7 PURB n263_a_law_h15a119_1->n263_a_law_h15a119_7 n263_a_law_h15a119_9 NP n263_a_law_h15a119_1->n263_a_law_h15a119_9 n263_a_law_h15a119_2->n263_a_law_h15a119_3 n263_a_law_h15a119_5 LS n263_a_law_h15a119_4->n263_a_law_h15a119_5 n263_a_law_h15a119_5->n263_a_law_h15a119_6 n263_a_law_h15a119_7->n263_a_law_h15a119_8 n263_a_law_h15a119_10 NS n263_a_law_h15a119_9->n263_a_law_h15a119_10 n263_a_law_h15a119_12 PP n263_a_law_h15a119_9->n263_a_law_h15a119_12 n263_a_law_h15a119_10->n263_a_law_h15a119_11 n263_a_law_h15a119_13 P-ROLE n263_a_law_h15a119_12->n263_a_law_h15a119_13 n263_a_law_h15a119_15 IP-PPL n263_a_law_h15a119_12->n263_a_law_h15a119_15 n263_a_law_h15a119_13->n263_a_law_h15a119_14 n263_a_law_h15a119_16 VAG;_Ipr_ n263_a_law_h15a119_15->n263_a_law_h15a119_16 n263_a_law_h15a119_18 PP-CLR n263_a_law_h15a119_15->n263_a_law_h15a119_18 n263_a_law_h15a119_16->n263_a_law_h15a119_17 n263_a_law_h15a119_19 P-ROLE n263_a_law_h15a119_18->n263_a_law_h15a119_19 n263_a_law_h15a119_21 NP n263_a_law_h15a119_18->n263_a_law_h15a119_21 n263_a_law_h15a119_19->n263_a_law_h15a119_20 n263_a_law_h15a119_22 NLYR n263_a_law_h15a119_21->n263_a_law_h15a119_22 n263_a_law_h15a119_42 PP n263_a_law_h15a119_21->n263_a_law_h15a119_42 n263_a_law_h15a119_23 NLYR n263_a_law_h15a119_22->n263_a_law_h15a119_23 n263_a_law_h15a119_32 CONJP n263_a_law_h15a119_22->n263_a_law_h15a119_32 n263_a_law_h15a119_24 N n263_a_law_h15a119_23->n263_a_law_h15a119_24 n263_a_law_h15a119_26 PULB n263_a_law_h15a119_23->n263_a_law_h15a119_26 n263_a_law_h15a119_28 N n263_a_law_h15a119_23->n263_a_law_h15a119_28 n263_a_law_h15a119_30 PURB n263_a_law_h15a119_23->n263_a_law_h15a119_30 n263_a_law_h15a119_24->n263_a_law_h15a119_25 n263_a_law_h15a119_26->n263_a_law_h15a119_27 n263_a_law_h15a119_28->n263_a_law_h15a119_29 n263_a_law_h15a119_30->n263_a_law_h15a119_31 n263_a_law_h15a119_33 CONJ n263_a_law_h15a119_32->n263_a_law_h15a119_33 n263_a_law_h15a119_35 NLYR n263_a_law_h15a119_32->n263_a_law_h15a119_35 n263_a_law_h15a119_33->n263_a_law_h15a119_34 n263_a_law_h15a119_36 PULB n263_a_law_h15a119_35->n263_a_law_h15a119_36 n263_a_law_h15a119_38 N n263_a_law_h15a119_35->n263_a_law_h15a119_38 n263_a_law_h15a119_40 PURB n263_a_law_h15a119_35->n263_a_law_h15a119_40 n263_a_law_h15a119_36->n263_a_law_h15a119_37 n263_a_law_h15a119_38->n263_a_law_h15a119_39 n263_a_law_h15a119_40->n263_a_law_h15a119_41 n263_a_law_h15a119_43 P-ROLE n263_a_law_h15a119_42->n263_a_law_h15a119_43 n263_a_law_h15a119_45 NP n263_a_law_h15a119_42->n263_a_law_h15a119_45 n263_a_law_h15a119_43->n263_a_law_h15a119_44 n263_a_law_h15a119_46 N n263_a_law_h15a119_45->n263_a_law_h15a119_46 n263_a_law_h15a119_48 NUM n263_a_law_h15a119_45->n263_a_law_h15a119_48 n263_a_law_h15a119_46->n263_a_law_h15a119_47 n263_a_law_h15a119_48->n263_a_law_h15a119_49 
( (FRAG (PULB -LRB-)
        (LST (LS i))
        (PURB -RRB-)
        (NP (NS Cases;{case})
            (PP (P-ROLE of;{of})
                (IP-PPL (VAG;_Ipr_ falling;{fall[under]})
                        (PP-CLR (P-ROLE under;{under})
                                (NP (NLYR (NLYR (N item;{item})
                                                (PULB -LRB-)
                                                (N i;{I})
                                                (PURB -RRB-))
                                          (CONJP (CONJ or;{or})
                                                 (NLYR (PULB -LRB-)
                                                       (N iii;{iii})
                                                       (PURB -RRB-))))
                                    (PP (P-ROLE of;{of})
                                        (NP (N Article;{article})
                                            (NUM 38)))))))))
  (ID 263_a_law_h15a119;206_4_48_1i))