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,
    ? [R_0263_0008__ITEM_R_0263_0010__I,R_0263_0014__III,R_0263_0017__ARTICLE_R_0263_0018__38,R_0263_0012__OR,Z_000_263_A_LAW_H15A119_15,R_0263_0006__FALLING,R_0263_0004__CASES,Z_000_263_A_LAW_H15A119_1] :
      ( r_0263_0008__item_r_0263_0010__i(R_0263_0008__ITEM_R_0263_0010__I)
      & r_0263_0014__iii(R_0263_0014__III)
      & r_0263_0017__Article_r_0263_0018__38(R_0263_0017__ARTICLE_R_0263_0018__38)
      & z_000_263_a_law_h15a119_15(Z_000_263_A_LAW_H15A119_15)
      & z_000_263_a_law_h15a119_1(Z_000_263_A_LAW_H15A119_1)
      & has_nim9(Z_000_263_A_LAW_H15A119_1,R_0263_0004__CASES)
      & r_0263_0004__Cases(R_0263_0004__CASES)
      & has_r_0263_0005__of(R_0263_0004__CASES,R_0263_0006__FALLING)
      & r_0263_0006__falling(R_0263_0006__FALLING)
      & has_arg0(R_0263_0006__FALLING,Z_000_263_A_LAW_H15A119_15)
      & has_r_0263_0007__under_clr21(R_0263_0006__FALLING,R_0263_0012__OR)
      & r_0263_0012__or(R_0263_0012__OR)
      & has_r_0263_0016__of(R_0263_0012__OR,R_0263_0017__ARTICLE_R_0263_0018__38)
      & has_conj2(R_0263_0012__OR,R_0263_0014__III)
      & has_conj1(R_0263_0012__OR,R_0263_0008__ITEM_R_0263_0010__I) ) ).


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))