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 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] 
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_3 -LRB- n264_a_law_h15a119_6 ii n264_a_law_h15a119_8 -RRB- n264_a_law_h15a119_11 Cases n264_a_law_h15a119_14 of n264_a_law_h15a119_17 failing n264_a_law_h15a119_20 not n264_a_law_h15a119_22 to n264_a_law_h15a119_24 conform n264_a_law_h15a119_27 with n264_a_law_h15a119_30 any n264_a_law_h15a119_33 of n264_a_law_h15a119_36 the n264_a_law_h15a119_38 items n264_a_law_h15a119_41 of n264_a_law_h15a119_44 Article n264_a_law_h15a119_46 39 n264_a_law_h15a119_1 FRAG n264_a_law_h15a119_2 PULB n264_a_law_h15a119_1->n264_a_law_h15a119_2 n264_a_law_h15a119_4 LST n264_a_law_h15a119_1->n264_a_law_h15a119_4 n264_a_law_h15a119_7 PURB n264_a_law_h15a119_1->n264_a_law_h15a119_7 n264_a_law_h15a119_9 NP n264_a_law_h15a119_1->n264_a_law_h15a119_9 n264_a_law_h15a119_2->n264_a_law_h15a119_3 n264_a_law_h15a119_5 LS n264_a_law_h15a119_4->n264_a_law_h15a119_5 n264_a_law_h15a119_5->n264_a_law_h15a119_6 n264_a_law_h15a119_7->n264_a_law_h15a119_8 n264_a_law_h15a119_10 NS n264_a_law_h15a119_9->n264_a_law_h15a119_10 n264_a_law_h15a119_12 PP n264_a_law_h15a119_9->n264_a_law_h15a119_12 n264_a_law_h15a119_10->n264_a_law_h15a119_11 n264_a_law_h15a119_13 P-ROLE n264_a_law_h15a119_12->n264_a_law_h15a119_13 n264_a_law_h15a119_15 IP-PPL n264_a_law_h15a119_12->n264_a_law_h15a119_15 n264_a_law_h15a119_13->n264_a_law_h15a119_14 n264_a_law_h15a119_16 VAG;_Tt_ n264_a_law_h15a119_15->n264_a_law_h15a119_16 n264_a_law_h15a119_18 IP-INF-OB1 n264_a_law_h15a119_15->n264_a_law_h15a119_18 n264_a_law_h15a119_16->n264_a_law_h15a119_17 n264_a_law_h15a119_19 NEG n264_a_law_h15a119_18->n264_a_law_h15a119_19 n264_a_law_h15a119_21 TO n264_a_law_h15a119_18->n264_a_law_h15a119_21 n264_a_law_h15a119_23 VB;_Ipr_ n264_a_law_h15a119_18->n264_a_law_h15a119_23 n264_a_law_h15a119_25 PP-CLR n264_a_law_h15a119_18->n264_a_law_h15a119_25 n264_a_law_h15a119_19->n264_a_law_h15a119_20 n264_a_law_h15a119_21->n264_a_law_h15a119_22 n264_a_law_h15a119_23->n264_a_law_h15a119_24 n264_a_law_h15a119_26 P-ROLE n264_a_law_h15a119_25->n264_a_law_h15a119_26 n264_a_law_h15a119_28 NP n264_a_law_h15a119_25->n264_a_law_h15a119_28 n264_a_law_h15a119_26->n264_a_law_h15a119_27 n264_a_law_h15a119_29 D;_nphd_ n264_a_law_h15a119_28->n264_a_law_h15a119_29 n264_a_law_h15a119_31 PP n264_a_law_h15a119_28->n264_a_law_h15a119_31 n264_a_law_h15a119_29->n264_a_law_h15a119_30 n264_a_law_h15a119_32 P-ROLE n264_a_law_h15a119_31->n264_a_law_h15a119_32 n264_a_law_h15a119_34 NP n264_a_law_h15a119_31->n264_a_law_h15a119_34 n264_a_law_h15a119_32->n264_a_law_h15a119_33 n264_a_law_h15a119_35 D n264_a_law_h15a119_34->n264_a_law_h15a119_35 n264_a_law_h15a119_37 NS n264_a_law_h15a119_34->n264_a_law_h15a119_37 n264_a_law_h15a119_39 PP n264_a_law_h15a119_34->n264_a_law_h15a119_39 n264_a_law_h15a119_35->n264_a_law_h15a119_36 n264_a_law_h15a119_37->n264_a_law_h15a119_38 n264_a_law_h15a119_40 P-ROLE n264_a_law_h15a119_39->n264_a_law_h15a119_40 n264_a_law_h15a119_42 NP n264_a_law_h15a119_39->n264_a_law_h15a119_42 n264_a_law_h15a119_40->n264_a_law_h15a119_41 n264_a_law_h15a119_43 N n264_a_law_h15a119_42->n264_a_law_h15a119_43 n264_a_law_h15a119_45 NUM n264_a_law_h15a119_42->n264_a_law_h15a119_45 n264_a_law_h15a119_43->n264_a_law_h15a119_44 n264_a_law_h15a119_45->n264_a_law_h15a119_46 
( (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))