TSPC 266_a_law

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

( (FRAG (LST (PULB -LRB-)
             (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))

arc(r_0266_0004__Cases,r_0266_0006__not,r_0266_0005__of).
arc(r_0266_0006__not,r_0266_0007__complying_r_0266_0008__with,keep_scope).
arc(r_0266_0007__complying_r_0266_0008__with,r_0266_0009__orders,arg1).
arc(r_0266_0007__complying_r_0266_0008__with,z_0266_5006,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,attrib).
arc(z_0266_5012,r_0266_0004__Cases,z_0266_5002).

fof(formula,axiom,
    ? [R_0266_0004__CASES,Z_0266_5012] :
      ( z_0266_5012(Z_0266_5012)
      & has_z_0266_5002(Z_0266_5012,R_0266_0004__CASES)
      & r_0266_0004__Cases(R_0266_0004__CASES)
      & has_r_0266_0005__of(R_0266_0004__CASES,R_0266_0006__NOT)
      & ~ ? [R_0266_0012__PRECEDING,R_0266_0011__THE_R_0266_0013__ARTICLE,R_0266_0009__ORDERS,Z_0266_5006,R_0266_0007__COMPLYING_R_0266_0008__WITH] :
            ( r_0266_0012__preceding(R_0266_0012__PRECEDING)
            & z_0266_5006(Z_0266_5006)
            & r_0266_0007__complying_r_0266_0008__with(R_0266_0007__COMPLYING_R_0266_0008__WITH)
            & has_arg0(R_0266_0007__COMPLYING_R_0266_0008__WITH,Z_0266_5006)
            & has_arg1(R_0266_0007__COMPLYING_R_0266_0008__WITH,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_attrib(R_0266_0011__THE_R_0266_0013__ARTICLE,R_0266_0012__PRECEDING) ) ) ).