Context                Previous, Next                Top


264_a_law_h15a119
(ii) Cases of failing not to conform with any of the items of Article 39

%3 r_0264_0004__Cases Cases r_0264_0006__failing failing r_0264_0004__Cases->r_0264_0006__failing of r_0264_0007__not not r_0264_0006__failing->r_0264_0007__not [arg1] z_000_264_a_law_h15a119_15 r_0264_0006__failing->z_000_264_a_law_h15a119_15 [arg0] r_0264_0008__to_r_0264_0009__conform to conform r_0264_0007__not->r_0264_0008__to_r_0264_0009__conform [keep_scope] r_0264_0008__to_r_0264_0009__conform->z_000_264_a_law_h15a119_15 [arg0] r_0264_0011__any any r_0264_0008__to_r_0264_0009__conform->r_0264_0011__any with [clr] r_0264_0013__the_r_0264_0014__items the items r_0264_0011__any->r_0264_0013__the_r_0264_0014__items of r_0264_0016__Article_r_0264_0017__39 Article 39 r_0264_0013__the_r_0264_0014__items->r_0264_0016__Article_r_0264_0017__39 of z_000_264_a_law_h15a119_1 z_000_264_a_law_h15a119_1->r_0264_0004__Cases [nim] 
arc(r_0264_0004__Cases, r_0264_0006__failing, r_0264_0005__of).
arc(r_0264_0006__failing, r_0264_0007__not, arg1).
arc(r_0264_0006__failing, z_000_264_a_law_h15a119_15, arg0).
arc(r_0264_0007__not, r_0264_0008__to_r_0264_0009__conform, keep_scope).
arc(r_0264_0008__to_r_0264_0009__conform, r_0264_0011__any, r_0264_0010__with_clr28).
arc(r_0264_0008__to_r_0264_0009__conform, z_000_264_a_law_h15a119_15, arg0).
arc(r_0264_0011__any, r_0264_0013__the_r_0264_0014__items, r_0264_0012__of).
arc(r_0264_0013__the_r_0264_0014__items, r_0264_0016__Article_r_0264_0017__39, r_0264_0015__of).
arc(z_000_264_a_law_h15a119_1, r_0264_0004__Cases, nim9).


%3 z_000_264_a_law_h15a119_1 r_0264_0004__Cases Cases z_000_264_a_law_h15a119_1->r_0264_0004__Cases [nim] r_0264_0006__failing failing r_0264_0004__Cases->r_0264_0006__failing of r_0264_0013__the_r_0264_0014__items the items r_0264_0016__Article_r_0264_0017__39 Article 39 r_0264_0013__the_r_0264_0014__items->r_0264_0016__Article_r_0264_0017__39 of r_0264_0011__any any r_0264_0011__any->r_0264_0013__the_r_0264_0014__items of r_0264_0008__to_r_0264_0009__conform to conform r_0264_0008__to_r_0264_0009__conform->r_0264_0011__any with [clr] z_000_264_a_law_h15a119_15 r_0264_0008__to_r_0264_0009__conform->z_000_264_a_law_h15a119_15 [arg0] r_0264_0007__not not r_0264_0007__not->r_0264_0008__to_r_0264_0009__conform [keep_scope] r_0264_0006__failing->z_000_264_a_law_h15a119_15 [arg0] r_0264_0006__failing->r_0264_0007__not [arg1] 
fof(formula,axiom,
    ? [Z_264_A_LAW_H15A119_1,R_264_4_CASES,R_264_6_FAILING,Z_264_A_LAW_H15A119_15] :
      ( z_264_a_law_h15a119_1(Z_264_A_LAW_H15A119_1)
      & nim9(Z_264_A_LAW_H15A119_1,R_264_4_CASES)
      & cases(R_264_4_CASES)
      & of(R_264_4_CASES,R_264_6_FAILING)
      & failing(R_264_6_FAILING,Z_264_A_LAW_H15A119_15,R_264_7_NOT)
      & ~ ? [R_264_8_TO_CONFORM,R_264_11_ANY,R_264_13_THE_ITEMS,R_264_16_ARTICLE_39] :
            ( article_39(R_264_16_ARTICLE_39)
            & to_conform(R_264_8_TO_CONFORM,Z_264_A_LAW_H15A119_15)
            & with_clr28(R_264_8_TO_CONFORM,R_264_11_ANY)
            & any(R_264_11_ANY)
            & of(R_264_11_ANY,R_264_13_THE_ITEMS)
            & the_items(R_264_13_THE_ITEMS)
            & of(R_264_13_THE_ITEMS,R_264_16_ARTICLE_39) ) ) ).


n264_a_law_h15a119 n264_a_law_h15a119__1_1_1 -LRB- n264_a_law_h15a119__1_2_1_1 ii n264_a_law_h15a119__1_3_1 -RRB- n264_a_law_h15a119__1_4_1_1 Cases n264_a_law_h15a119__1_4_2_1_1 of n264_a_law_h15a119__1_4_2_2_1_1 failing n264_a_law_h15a119__1_4_2_2_2_1_1 not n264_a_law_h15a119__1_4_2_2_2_2_1 to n264_a_law_h15a119__1_4_2_2_2_3_1 conform n264_a_law_h15a119__1_4_2_2_2_4_1_1 with n264_a_law_h15a119__1_4_2_2_2_4_2_1_1 any n264_a_law_h15a119__1_4_2_2_2_4_2_2_1_1 of n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_1_1 the n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_2_1 items n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_1_1 of n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_1_1 Article n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_2_1 39 n264_a_law_h15a119__1 FRAG n264_a_law_h15a119__1_1 PULB n264_a_law_h15a119__1->n264_a_law_h15a119__1_1 n264_a_law_h15a119__1_2 LST n264_a_law_h15a119__1->n264_a_law_h15a119__1_2 n264_a_law_h15a119__1_3 PURB n264_a_law_h15a119__1->n264_a_law_h15a119__1_3 n264_a_law_h15a119__1_4 NP n264_a_law_h15a119__1->n264_a_law_h15a119__1_4 n264_a_law_h15a119__1_1->n264_a_law_h15a119__1_1_1 n264_a_law_h15a119__1_2_1 LS n264_a_law_h15a119__1_2->n264_a_law_h15a119__1_2_1 n264_a_law_h15a119__1_2_1->n264_a_law_h15a119__1_2_1_1 n264_a_law_h15a119__1_3->n264_a_law_h15a119__1_3_1 n264_a_law_h15a119__1_4_1 NS n264_a_law_h15a119__1_4->n264_a_law_h15a119__1_4_1 n264_a_law_h15a119__1_4_2 PP n264_a_law_h15a119__1_4->n264_a_law_h15a119__1_4_2 n264_a_law_h15a119__1_4_1->n264_a_law_h15a119__1_4_1_1 n264_a_law_h15a119__1_4_2_1 P-ROLE n264_a_law_h15a119__1_4_2->n264_a_law_h15a119__1_4_2_1 n264_a_law_h15a119__1_4_2_2 IP-PPL n264_a_law_h15a119__1_4_2->n264_a_law_h15a119__1_4_2_2 n264_a_law_h15a119__1_4_2_1->n264_a_law_h15a119__1_4_2_1_1 n264_a_law_h15a119__1_4_2_2_1 VAG;_Tt_ n264_a_law_h15a119__1_4_2_2->n264_a_law_h15a119__1_4_2_2_1 n264_a_law_h15a119__1_4_2_2_2 IP-INF-OB1 n264_a_law_h15a119__1_4_2_2->n264_a_law_h15a119__1_4_2_2_2 n264_a_law_h15a119__1_4_2_2_1->n264_a_law_h15a119__1_4_2_2_1_1 n264_a_law_h15a119__1_4_2_2_2_1 NEG n264_a_law_h15a119__1_4_2_2_2->n264_a_law_h15a119__1_4_2_2_2_1 n264_a_law_h15a119__1_4_2_2_2_2 TO n264_a_law_h15a119__1_4_2_2_2->n264_a_law_h15a119__1_4_2_2_2_2 n264_a_law_h15a119__1_4_2_2_2_3 VB;_Ipr_ n264_a_law_h15a119__1_4_2_2_2->n264_a_law_h15a119__1_4_2_2_2_3 n264_a_law_h15a119__1_4_2_2_2_4 PP-CLR n264_a_law_h15a119__1_4_2_2_2->n264_a_law_h15a119__1_4_2_2_2_4 n264_a_law_h15a119__1_4_2_2_2_1->n264_a_law_h15a119__1_4_2_2_2_1_1 n264_a_law_h15a119__1_4_2_2_2_2->n264_a_law_h15a119__1_4_2_2_2_2_1 n264_a_law_h15a119__1_4_2_2_2_3->n264_a_law_h15a119__1_4_2_2_2_3_1 n264_a_law_h15a119__1_4_2_2_2_4_1 P-ROLE n264_a_law_h15a119__1_4_2_2_2_4->n264_a_law_h15a119__1_4_2_2_2_4_1 n264_a_law_h15a119__1_4_2_2_2_4_2 NP n264_a_law_h15a119__1_4_2_2_2_4->n264_a_law_h15a119__1_4_2_2_2_4_2 n264_a_law_h15a119__1_4_2_2_2_4_1->n264_a_law_h15a119__1_4_2_2_2_4_1_1 n264_a_law_h15a119__1_4_2_2_2_4_2_1 D;_nphd_ n264_a_law_h15a119__1_4_2_2_2_4_2->n264_a_law_h15a119__1_4_2_2_2_4_2_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2 PP n264_a_law_h15a119__1_4_2_2_2_4_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2 n264_a_law_h15a119__1_4_2_2_2_4_2_1->n264_a_law_h15a119__1_4_2_2_2_4_2_1_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_1 P-ROLE n264_a_law_h15a119__1_4_2_2_2_4_2_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2 NP n264_a_law_h15a119__1_4_2_2_2_4_2_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2 n264_a_law_h15a119__1_4_2_2_2_4_2_2_1->n264_a_law_h15a119__1_4_2_2_2_4_2_2_1_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_1 D n264_a_law_h15a119__1_4_2_2_2_4_2_2_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_2 NS n264_a_law_h15a119__1_4_2_2_2_4_2_2_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_2 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3 PP n264_a_law_h15a119__1_4_2_2_2_4_2_2_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_1->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_1_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_2_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_1 P-ROLE n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2 NP n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_1->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_1_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_1 N n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_2 NUM n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_2 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_1->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_1_1 n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_2->n264_a_law_h15a119__1_4_2_2_2_4_2_2_2_3_2_2_1 
( (FRAG (PULB -LRB-)
        (LST (LS ii))
        (PURB -RRB-)
        (NP (NS Cases;{case})
            (PP (P-ROLE of;{of})
                (IP-PPL (VAG;_Tt_ failing;{fail})
                        (IP-INF-OB1 (NEG not;{not})
                                    (TO to;{to})
                                    (VB;_Ipr_ conform;{conform[with]})
                                    (PP-CLR (P-ROLE with;{with})
                                            (NP (D;_nphd_ any;{any})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (NS items;{item})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (N Article;{article})
                                                                (NUM 39))))))))))))
  (ID 264_a_law_h15a119;207_4_48_1ii))