arc(r_0266_0004__Cases, r_0266_0006__not, 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).

fof(formula,axiom,
    ? [Z_266_A_LAW_H15A119_1,R_266_4_CASES] :
      ( z_266_a_law_h15a119_1(Z_266_A_LAW_H15A119_1)
      & nim9(Z_266_A_LAW_H15A119_1,R_266_4_CASES)
      & cases(R_266_4_CASES)
      & of(R_266_4_CASES,R_266_6_NOT)
      & ~ ? [R_266_7_COMPLYING,Z_266_A_LAW_H15A119_15,R_266_9_ORDERS,R_266_11_THE_ARTICLE,R_266_12_PRECEDING] :
            ( preceding(R_266_12_PRECEDING)
            & complying(R_266_7_COMPLYING,Z_266_A_LAW_H15A119_15)
            & with_clr23(R_266_7_COMPLYING,R_266_9_ORDERS)
            & orders(R_266_9_ORDERS)
            & in(R_266_9_ORDERS,R_266_11_THE_ARTICLE)
            & the_article(R_266_11_THE_ARTICLE)
            & attrib32(R_266_11_THE_ARTICLE,R_266_12_PRECEDING) ) ) ).

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