Context                Previous, Next                Top


266_a_law_h15a119
(iv) Cases of not complying with orders in the preceding article

%3 r_0266_0004__Cases Cases r_0266_0006__not not r_0266_0004__Cases->r_0266_0006__not of r_0266_0007__complying complying r_0266_0004__Cases->r_0266_0007__complying of r_0266_0006__not->r_0266_0007__complying [keep_scope] r_0266_0009__orders orders r_0266_0007__complying->r_0266_0009__orders with [clr] z_000_266_a_law_h15a119_15 r_0266_0007__complying->z_000_266_a_law_h15a119_15 [arg0] r_0266_0011__the_r_0266_0013__article the article r_0266_0009__orders->r_0266_0011__the_r_0266_0013__article in r_0266_0012__preceding preceding r_0266_0011__the_r_0266_0013__article->r_0266_0012__preceding [attrib] z_000_266_a_law_h15a119_1 z_000_266_a_law_h15a119_1->r_0266_0004__Cases [nim] 
arc(r_0266_0004__Cases, r_0266_0006__not, r_0266_0005__of).
arc(r_0266_0004__Cases, r_0266_0007__complying, r_0266_0005__of).
arc(r_0266_0006__not, r_0266_0007__complying, keep_scope).
arc(r_0266_0007__complying, r_0266_0009__orders, r_0266_0008__with_clr23).
arc(r_0266_0007__complying, z_000_266_a_law_h15a119_15, arg0).
arc(r_0266_0009__orders, r_0266_0011__the_r_0266_0013__article, r_0266_0010__in).
arc(r_0266_0011__the_r_0266_0013__article, r_0266_0012__preceding, attrib32).
arc(z_000_266_a_law_h15a119_1, r_0266_0004__Cases, nim9).


%3 z_000_266_a_law_h15a119_1 r_0266_0004__Cases Cases z_000_266_a_law_h15a119_1->r_0266_0004__Cases [nim] r_0266_0007__complying complying r_0266_0004__Cases->r_0266_0007__complying of r_0266_0006__not not r_0266_0004__Cases->r_0266_0006__not of r_0266_0011__the_r_0266_0013__article the article r_0266_0012__preceding preceding r_0266_0011__the_r_0266_0013__article->r_0266_0012__preceding [attrib] r_0266_0009__orders orders r_0266_0009__orders->r_0266_0011__the_r_0266_0013__article in r_0266_0007__complying->r_0266_0009__orders with [clr] z_000_266_a_law_h15a119_15 r_0266_0007__complying->z_000_266_a_law_h15a119_15 [arg0] r_0266_0006__not->r_0266_0007__complying [keep_scope] 
fof(formula,axiom,
    ? [R_0266_0012__PRECEDING,R_0266_0011__THE_R_0266_0013__ARTICLE,R_0266_0009__ORDERS,Z_000_266_A_LAW_H15A119_15,R_0266_0007__COMPLYING,R_0266_0004__CASES,Z_000_266_A_LAW_H15A119_1] :
      ( r_0266_0012__preceding(R_0266_0012__PRECEDING)
      & z_000_266_a_law_h15a119_15(Z_000_266_A_LAW_H15A119_15)
      & z_000_266_a_law_h15a119_1(Z_000_266_A_LAW_H15A119_1)
      & has_nim9(Z_000_266_A_LAW_H15A119_1,R_0266_0004__CASES)
      & r_0266_0004__Cases(R_0266_0004__CASES)
      & has_r_0266_0005__of(R_0266_0004__CASES,R_0266_0007__COMPLYING)
      & r_0266_0007__complying(R_0266_0007__COMPLYING)
      & has_arg0(R_0266_0007__COMPLYING,Z_000_266_A_LAW_H15A119_15)
      & has_r_0266_0008__with_clr23(R_0266_0007__COMPLYING,R_0266_0009__ORDERS)
      & r_0266_0009__orders(R_0266_0009__ORDERS)
      & has_r_0266_0010__in(R_0266_0009__ORDERS,R_0266_0011__THE_R_0266_0013__ARTICLE)
      & r_0266_0011__the_r_0266_0013__article(R_0266_0011__THE_R_0266_0013__ARTICLE)
      & has_attrib32(R_0266_0011__THE_R_0266_0013__ARTICLE,R_0266_0012__PRECEDING)
      & has_r_0266_0005__of(R_0266_0004__CASES,R_0266_0006__NOT)
      & ~ r_0266_0007__complying(R_0266_0007__COMPLYING) ) ).


n266_a_law_h15a119 n266_a_law_h15a119__1_1_1 -LRB- n266_a_law_h15a119__1_2_1_1 iv n266_a_law_h15a119__1_3_1 -RRB- n266_a_law_h15a119__1_4_1_1 Cases n266_a_law_h15a119__1_4_2_1_1 of n266_a_law_h15a119__1_4_2_2_1_1 not n266_a_law_h15a119__1_4_2_2_2_1 complying n266_a_law_h15a119__1_4_2_2_3_1_1 with n266_a_law_h15a119__1_4_2_2_3_2_1_1 orders n266_a_law_h15a119__1_4_2_2_3_2_2_1_1 in n266_a_law_h15a119__1_4_2_2_3_2_2_2_1_1 the n266_a_law_h15a119__1_4_2_2_3_2_2_2_2_1_1 preceding n266_a_law_h15a119__1_4_2_2_3_2_2_2_3_1 article n266_a_law_h15a119__1 FRAG n266_a_law_h15a119__1_1 PULB n266_a_law_h15a119__1->n266_a_law_h15a119__1_1 n266_a_law_h15a119__1_2 LST n266_a_law_h15a119__1->n266_a_law_h15a119__1_2 n266_a_law_h15a119__1_3 PURB n266_a_law_h15a119__1->n266_a_law_h15a119__1_3 n266_a_law_h15a119__1_4 NP n266_a_law_h15a119__1->n266_a_law_h15a119__1_4 n266_a_law_h15a119__1_1->n266_a_law_h15a119__1_1_1 n266_a_law_h15a119__1_2_1 LS n266_a_law_h15a119__1_2->n266_a_law_h15a119__1_2_1 n266_a_law_h15a119__1_2_1->n266_a_law_h15a119__1_2_1_1 n266_a_law_h15a119__1_3->n266_a_law_h15a119__1_3_1 n266_a_law_h15a119__1_4_1 NS n266_a_law_h15a119__1_4->n266_a_law_h15a119__1_4_1 n266_a_law_h15a119__1_4_2 PP n266_a_law_h15a119__1_4->n266_a_law_h15a119__1_4_2 n266_a_law_h15a119__1_4_1->n266_a_law_h15a119__1_4_1_1 n266_a_law_h15a119__1_4_2_1 P-ROLE n266_a_law_h15a119__1_4_2->n266_a_law_h15a119__1_4_2_1 n266_a_law_h15a119__1_4_2_2 IP-PPL n266_a_law_h15a119__1_4_2->n266_a_law_h15a119__1_4_2_2 n266_a_law_h15a119__1_4_2_1->n266_a_law_h15a119__1_4_2_1_1 n266_a_law_h15a119__1_4_2_2_1 NEG n266_a_law_h15a119__1_4_2_2->n266_a_law_h15a119__1_4_2_2_1 n266_a_law_h15a119__1_4_2_2_2 VAG;_Ipr_ n266_a_law_h15a119__1_4_2_2->n266_a_law_h15a119__1_4_2_2_2 n266_a_law_h15a119__1_4_2_2_3 PP-CLR n266_a_law_h15a119__1_4_2_2->n266_a_law_h15a119__1_4_2_2_3 n266_a_law_h15a119__1_4_2_2_1->n266_a_law_h15a119__1_4_2_2_1_1 n266_a_law_h15a119__1_4_2_2_2->n266_a_law_h15a119__1_4_2_2_2_1 n266_a_law_h15a119__1_4_2_2_3_1 P-ROLE n266_a_law_h15a119__1_4_2_2_3->n266_a_law_h15a119__1_4_2_2_3_1 n266_a_law_h15a119__1_4_2_2_3_2 NP n266_a_law_h15a119__1_4_2_2_3->n266_a_law_h15a119__1_4_2_2_3_2 n266_a_law_h15a119__1_4_2_2_3_1->n266_a_law_h15a119__1_4_2_2_3_1_1 n266_a_law_h15a119__1_4_2_2_3_2_1 NS n266_a_law_h15a119__1_4_2_2_3_2->n266_a_law_h15a119__1_4_2_2_3_2_1 n266_a_law_h15a119__1_4_2_2_3_2_2 PP n266_a_law_h15a119__1_4_2_2_3_2->n266_a_law_h15a119__1_4_2_2_3_2_2 n266_a_law_h15a119__1_4_2_2_3_2_1->n266_a_law_h15a119__1_4_2_2_3_2_1_1 n266_a_law_h15a119__1_4_2_2_3_2_2_1 P-ROLE n266_a_law_h15a119__1_4_2_2_3_2_2->n266_a_law_h15a119__1_4_2_2_3_2_2_1 n266_a_law_h15a119__1_4_2_2_3_2_2_2 NP n266_a_law_h15a119__1_4_2_2_3_2_2->n266_a_law_h15a119__1_4_2_2_3_2_2_2 n266_a_law_h15a119__1_4_2_2_3_2_2_1->n266_a_law_h15a119__1_4_2_2_3_2_2_1_1 n266_a_law_h15a119__1_4_2_2_3_2_2_2_1 D n266_a_law_h15a119__1_4_2_2_3_2_2_2->n266_a_law_h15a119__1_4_2_2_3_2_2_2_1 n266_a_law_h15a119__1_4_2_2_3_2_2_2_2 ADJP n266_a_law_h15a119__1_4_2_2_3_2_2_2->n266_a_law_h15a119__1_4_2_2_3_2_2_2_2 n266_a_law_h15a119__1_4_2_2_3_2_2_2_3 N n266_a_law_h15a119__1_4_2_2_3_2_2_2->n266_a_law_h15a119__1_4_2_2_3_2_2_2_3 n266_a_law_h15a119__1_4_2_2_3_2_2_2_1->n266_a_law_h15a119__1_4_2_2_3_2_2_2_1_1 n266_a_law_h15a119__1_4_2_2_3_2_2_2_2_1 ADJ n266_a_law_h15a119__1_4_2_2_3_2_2_2_2->n266_a_law_h15a119__1_4_2_2_3_2_2_2_2_1 n266_a_law_h15a119__1_4_2_2_3_2_2_2_2_1->n266_a_law_h15a119__1_4_2_2_3_2_2_2_2_1_1 n266_a_law_h15a119__1_4_2_2_3_2_2_2_3->n266_a_law_h15a119__1_4_2_2_3_2_2_2_3_1 
( (FRAG (PULB -LRB-)
        (LST (LS iv))
        (PURB -RRB-)
        (NP (NS Cases;{case})
            (PP (P-ROLE of;{of})
                (IP-PPL (NEG not;{not})
                        (VAG;_Ipr_ complying;{comply[with]})
                        (PP-CLR (P-ROLE with;{with})
                                (NP (NS orders;{order})
                                    (PP (P-ROLE in;{in})
                                        (NP (D the;{the})
                                            (ADJP (ADJ preceding;{preceding}))
                                            (N article;{article})))))))))
  (ID 266_a_law_h15a119;209_4_48_1iv))