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 z_000_263_a_law_h15a119_1 r_0263_0004__Cases Cases z_000_263_a_law_h15a119_1->r_0263_0004__Cases [nim] r_0263_0006__falling falling r_0263_0004__Cases->r_0263_0006__falling of r_0263_0012__or or r_0263_0017__Article_r_0263_0018__38 Article 38 r_0263_0012__or->r_0263_0017__Article_r_0263_0018__38 of r_0263_0014__iii iii r_0263_0012__or->r_0263_0014__iii [conj2] 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_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] 
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__1_1_1 -LRB- n263_a_law_h15a119__1_2_1_1 i n263_a_law_h15a119__1_3_1 -RRB- n263_a_law_h15a119__1_4_1_1 Cases n263_a_law_h15a119__1_4_2_1_1 of n263_a_law_h15a119__1_4_2_2_1_1 falling n263_a_law_h15a119__1_4_2_2_2_1_1 under n263_a_law_h15a119__1_4_2_2_2_2_1_1_1_1 item n263_a_law_h15a119__1_4_2_2_2_2_1_1_2_1 -LRB- n263_a_law_h15a119__1_4_2_2_2_2_1_1_3_1 i n263_a_law_h15a119__1_4_2_2_2_2_1_1_4_1 -RRB- n263_a_law_h15a119__1_4_2_2_2_2_1_2_1_1 or n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_1_1 -LRB- n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_2_1 iii n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_3_1 -RRB- n263_a_law_h15a119__1_4_2_2_2_2_2_1_1 of n263_a_law_h15a119__1_4_2_2_2_2_2_2_1_1 Article n263_a_law_h15a119__1_4_2_2_2_2_2_2_2_1 38 n263_a_law_h15a119__1 FRAG n263_a_law_h15a119__1_1 PULB n263_a_law_h15a119__1->n263_a_law_h15a119__1_1 n263_a_law_h15a119__1_2 LST n263_a_law_h15a119__1->n263_a_law_h15a119__1_2 n263_a_law_h15a119__1_3 PURB n263_a_law_h15a119__1->n263_a_law_h15a119__1_3 n263_a_law_h15a119__1_4 NP n263_a_law_h15a119__1->n263_a_law_h15a119__1_4 n263_a_law_h15a119__1_1->n263_a_law_h15a119__1_1_1 n263_a_law_h15a119__1_2_1 LS n263_a_law_h15a119__1_2->n263_a_law_h15a119__1_2_1 n263_a_law_h15a119__1_2_1->n263_a_law_h15a119__1_2_1_1 n263_a_law_h15a119__1_3->n263_a_law_h15a119__1_3_1 n263_a_law_h15a119__1_4_1 NS n263_a_law_h15a119__1_4->n263_a_law_h15a119__1_4_1 n263_a_law_h15a119__1_4_2 PP n263_a_law_h15a119__1_4->n263_a_law_h15a119__1_4_2 n263_a_law_h15a119__1_4_1->n263_a_law_h15a119__1_4_1_1 n263_a_law_h15a119__1_4_2_1 P-ROLE n263_a_law_h15a119__1_4_2->n263_a_law_h15a119__1_4_2_1 n263_a_law_h15a119__1_4_2_2 IP-PPL n263_a_law_h15a119__1_4_2->n263_a_law_h15a119__1_4_2_2 n263_a_law_h15a119__1_4_2_1->n263_a_law_h15a119__1_4_2_1_1 n263_a_law_h15a119__1_4_2_2_1 VAG;_Ipr_ n263_a_law_h15a119__1_4_2_2->n263_a_law_h15a119__1_4_2_2_1 n263_a_law_h15a119__1_4_2_2_2 PP-CLR n263_a_law_h15a119__1_4_2_2->n263_a_law_h15a119__1_4_2_2_2 n263_a_law_h15a119__1_4_2_2_1->n263_a_law_h15a119__1_4_2_2_1_1 n263_a_law_h15a119__1_4_2_2_2_1 P-ROLE n263_a_law_h15a119__1_4_2_2_2->n263_a_law_h15a119__1_4_2_2_2_1 n263_a_law_h15a119__1_4_2_2_2_2 NP n263_a_law_h15a119__1_4_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2 n263_a_law_h15a119__1_4_2_2_2_1->n263_a_law_h15a119__1_4_2_2_2_1_1 n263_a_law_h15a119__1_4_2_2_2_2_1 NLYR n263_a_law_h15a119__1_4_2_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2_1 n263_a_law_h15a119__1_4_2_2_2_2_2 PP n263_a_law_h15a119__1_4_2_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2_2 n263_a_law_h15a119__1_4_2_2_2_2_1_1 NLYR n263_a_law_h15a119__1_4_2_2_2_2_1->n263_a_law_h15a119__1_4_2_2_2_2_1_1 n263_a_law_h15a119__1_4_2_2_2_2_1_2 CONJP n263_a_law_h15a119__1_4_2_2_2_2_1->n263_a_law_h15a119__1_4_2_2_2_2_1_2 n263_a_law_h15a119__1_4_2_2_2_2_1_1_1 N n263_a_law_h15a119__1_4_2_2_2_2_1_1->n263_a_law_h15a119__1_4_2_2_2_2_1_1_1 n263_a_law_h15a119__1_4_2_2_2_2_1_1_2 PULB n263_a_law_h15a119__1_4_2_2_2_2_1_1->n263_a_law_h15a119__1_4_2_2_2_2_1_1_2 n263_a_law_h15a119__1_4_2_2_2_2_1_1_3 N n263_a_law_h15a119__1_4_2_2_2_2_1_1->n263_a_law_h15a119__1_4_2_2_2_2_1_1_3 n263_a_law_h15a119__1_4_2_2_2_2_1_1_4 PURB n263_a_law_h15a119__1_4_2_2_2_2_1_1->n263_a_law_h15a119__1_4_2_2_2_2_1_1_4 n263_a_law_h15a119__1_4_2_2_2_2_1_1_1->n263_a_law_h15a119__1_4_2_2_2_2_1_1_1_1 n263_a_law_h15a119__1_4_2_2_2_2_1_1_2->n263_a_law_h15a119__1_4_2_2_2_2_1_1_2_1 n263_a_law_h15a119__1_4_2_2_2_2_1_1_3->n263_a_law_h15a119__1_4_2_2_2_2_1_1_3_1 n263_a_law_h15a119__1_4_2_2_2_2_1_1_4->n263_a_law_h15a119__1_4_2_2_2_2_1_1_4_1 n263_a_law_h15a119__1_4_2_2_2_2_1_2_1 CONJ n263_a_law_h15a119__1_4_2_2_2_2_1_2->n263_a_law_h15a119__1_4_2_2_2_2_1_2_1 n263_a_law_h15a119__1_4_2_2_2_2_1_2_2 NLYR n263_a_law_h15a119__1_4_2_2_2_2_1_2->n263_a_law_h15a119__1_4_2_2_2_2_1_2_2 n263_a_law_h15a119__1_4_2_2_2_2_1_2_1->n263_a_law_h15a119__1_4_2_2_2_2_1_2_1_1 n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_1 PULB n263_a_law_h15a119__1_4_2_2_2_2_1_2_2->n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_1 n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_2 N n263_a_law_h15a119__1_4_2_2_2_2_1_2_2->n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_2 n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_3 PURB n263_a_law_h15a119__1_4_2_2_2_2_1_2_2->n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_3 n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_1->n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_1_1 n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_2_1 n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_3->n263_a_law_h15a119__1_4_2_2_2_2_1_2_2_3_1 n263_a_law_h15a119__1_4_2_2_2_2_2_1 P-ROLE n263_a_law_h15a119__1_4_2_2_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2_2_1 n263_a_law_h15a119__1_4_2_2_2_2_2_2 NP n263_a_law_h15a119__1_4_2_2_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2_2_2 n263_a_law_h15a119__1_4_2_2_2_2_2_1->n263_a_law_h15a119__1_4_2_2_2_2_2_1_1 n263_a_law_h15a119__1_4_2_2_2_2_2_2_1 N n263_a_law_h15a119__1_4_2_2_2_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2_2_2_1 n263_a_law_h15a119__1_4_2_2_2_2_2_2_2 NUM n263_a_law_h15a119__1_4_2_2_2_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2_2_2_2 n263_a_law_h15a119__1_4_2_2_2_2_2_2_1->n263_a_law_h15a119__1_4_2_2_2_2_2_2_1_1 n263_a_law_h15a119__1_4_2_2_2_2_2_2_2->n263_a_law_h15a119__1_4_2_2_2_2_2_2_2_1 
( (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))