TSPC 264_a_law

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

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, r_0264_0008__to_r_0264_0009__conform, 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).

fof(formula,axiom,
    ? [R_0264_0016__ARTICLE_R_0264_0017__39,R_0264_0013__THE_R_0264_0014__ITEMS,R_0264_0011__ANY,Z_000_264_A_LAW_H15A119_15,R_0264_0008__TO_R_0264_0009__CONFORM,R_0264_0006__FAILING,R_0264_0004__CASES,Z_000_264_A_LAW_H15A119_1] :
      ( r_0264_0016__Article_r_0264_0017__39(R_0264_0016__ARTICLE_R_0264_0017__39)
      & z_000_264_a_law_h15a119_15(Z_000_264_A_LAW_H15A119_15)
      & z_000_264_a_law_h15a119_1(Z_000_264_A_LAW_H15A119_1)
      & has_nim9(Z_000_264_A_LAW_H15A119_1,R_0264_0004__CASES)
      & r_0264_0004__Cases(R_0264_0004__CASES)
      & has_r_0264_0005__of(R_0264_0004__CASES,R_0264_0006__FAILING)
      & r_0264_0006__failing(R_0264_0006__FAILING)
      & has_arg0(R_0264_0006__FAILING,Z_000_264_A_LAW_H15A119_15)
      & has_arg1(R_0264_0006__FAILING,R_0264_0008__TO_R_0264_0009__CONFORM)
      & r_0264_0008__to_r_0264_0009__conform(R_0264_0008__TO_R_0264_0009__CONFORM)
      & has_arg0(R_0264_0008__TO_R_0264_0009__CONFORM,Z_000_264_A_LAW_H15A119_15)
      & has_r_0264_0010__with_clr28(R_0264_0008__TO_R_0264_0009__CONFORM,R_0264_0011__ANY)
      & r_0264_0011__any(R_0264_0011__ANY)
      & has_r_0264_0012__of(R_0264_0011__ANY,R_0264_0013__THE_R_0264_0014__ITEMS)
      & r_0264_0013__the_r_0264_0014__items(R_0264_0013__THE_R_0264_0014__ITEMS)
      & has_r_0264_0015__of(R_0264_0013__THE_R_0264_0014__ITEMS,R_0264_0016__ARTICLE_R_0264_0017__39)
      & has_arg1(R_0264_0006__FAILING,R_0264_0007__NOT)
      & ~ r_0264_0008__to_r_0264_0009__conform(R_0264_0008__TO_R_0264_0009__CONFORM) ) ).

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