TSPC 228_a_law

228_a_law_h15a119
(i) The applicant shall have established a business execution method necessary for properly and soundly conducting the business mentioned in any of the items of paragraph (1) of Article 37.

arc(r_0228_0006__shall, r_0228_0007__have, scope).
arc(r_0228_0007__have, r_0228_0008__established, scope).
arc(r_0228_0008__established, r_0228_0004__The_r_0228_0005__applicant, arg0).
arc(r_0228_0008__established, r_0228_0009__a_r_0228_0010__business_r_0228_0011__execution_r_0228_0012__method, arg1).
arc(r_0228_0009__a_r_0228_0010__business_r_0228_0011__execution_r_0228_0012__method, r_0228_0013__necessary, attrib31).
arc(r_0228_0013__necessary, r_0228_0018__conducting, r_0228_0014__for).
arc(r_0228_0016__and, r_0228_0015__properly, conj1).
arc(r_0228_0016__and, r_0228_0017__soundly, conj2).
arc(r_0228_0018__conducting, r_0228_0016__and, nim38).
arc(r_0228_0018__conducting, r_0228_0019__the_r_0228_0020__business, arg1).
arc(r_0228_0018__conducting, z_000_228_a_law_h15a119_37, arg0).
arc(r_0228_0021__mentioned, r_0228_0019__the_r_0228_0020__business, arg1).
arc(r_0228_0021__mentioned, r_0228_0023__any, r_0228_0022__in_nim64).
arc(r_0228_0021__mentioned, z_000_228_a_law_h15a119_57, arg0).
arc(r_0228_0023__any, r_0228_0025__the_r_0228_0026__items, r_0228_0024__of).
arc(r_0228_0025__the_r_0228_0026__items, r_0228_0028__paragraph_r_0228_0030__1, r_0228_0027__of).
arc(r_0228_0028__paragraph_r_0228_0030__1, r_0228_0033__Article_r_0228_0034__37, r_0228_0032__of).

fof(formula,axiom,
    ? [R_0228_0004__THE_R_0228_0005__APPLICANT,R_0228_0015__PROPERLY,R_0228_0017__SOUNDLY,R_0228_0016__AND,R_0228_0019__THE_R_0228_0020__BUSINESS,Z_000_228_A_LAW_H15A119_37,R_0228_0018__CONDUCTING,R_0228_0013__NECESSARY,R_0228_0009__A_R_0228_0010__BUSINESS_R_0228_0011__EXECUTION_R_0228_0012__METHOD,R_0228_0006__SHALL_R_0228_0007__HAVE_R_0228_0008__ESTABLISHED,R_0228_0033__ARTICLE_R_0228_0034__37,R_0228_0028__PARAGRAPH_R_0228_0030__1,R_0228_0025__THE_R_0228_0026__ITEMS,R_0228_0023__ANY,Z_000_228_A_LAW_H15A119_57,R_0228_0021__MENTIONED] :
      ( r_0228_0004__The_r_0228_0005__applicant(R_0228_0004__THE_R_0228_0005__APPLICANT)
      & r_0228_0015__properly(R_0228_0015__PROPERLY)
      & r_0228_0017__soundly(R_0228_0017__SOUNDLY)
      & r_0228_0019__the_r_0228_0020__business(R_0228_0019__THE_R_0228_0020__BUSINESS)
      & r_0228_0033__Article_r_0228_0034__37(R_0228_0033__ARTICLE_R_0228_0034__37)
      & z_000_228_a_law_h15a119_37(Z_000_228_A_LAW_H15A119_37)
      & z_000_228_a_law_h15a119_57(Z_000_228_A_LAW_H15A119_57)
      & r_0228_0021__mentioned(R_0228_0021__MENTIONED)
      & has_arg0(R_0228_0021__MENTIONED,Z_000_228_A_LAW_H15A119_57)
      & has_r_0228_0022__in_nim64(R_0228_0021__MENTIONED,R_0228_0023__ANY)
      & r_0228_0023__any(R_0228_0023__ANY)
      & has_r_0228_0024__of(R_0228_0023__ANY,R_0228_0025__THE_R_0228_0026__ITEMS)
      & r_0228_0025__the_r_0228_0026__items(R_0228_0025__THE_R_0228_0026__ITEMS)
      & has_r_0228_0027__of(R_0228_0025__THE_R_0228_0026__ITEMS,R_0228_0028__PARAGRAPH_R_0228_0030__1)
      & r_0228_0028__paragraph_r_0228_0030__1(R_0228_0028__PARAGRAPH_R_0228_0030__1)
      & has_r_0228_0032__of(R_0228_0028__PARAGRAPH_R_0228_0030__1,R_0228_0033__ARTICLE_R_0228_0034__37)
      & has_arg1(R_0228_0021__MENTIONED,R_0228_0019__THE_R_0228_0020__BUSINESS)
      & r_0228_0006__shall_r_0228_0007__have_r_0228_0008__established(R_0228_0006__SHALL_R_0228_0007__HAVE_R_0228_0008__ESTABLISHED)
      & has_arg1(R_0228_0006__SHALL_R_0228_0007__HAVE_R_0228_0008__ESTABLISHED,R_0228_0009__A_R_0228_0010__BUSINESS_R_0228_0011__EXECUTION_R_0228_0012__METHOD)
      & r_0228_0009__a_r_0228_0010__business_r_0228_0011__execution_r_0228_0012__method(R_0228_0009__A_R_0228_0010__BUSINESS_R_0228_0011__EXECUTION_R_0228_0012__METHOD)
      & has_attrib31(R_0228_0009__A_R_0228_0010__BUSINESS_R_0228_0011__EXECUTION_R_0228_0012__METHOD,R_0228_0013__NECESSARY)
      & r_0228_0013__necessary(R_0228_0013__NECESSARY)
      & has_r_0228_0014__for(R_0228_0013__NECESSARY,R_0228_0018__CONDUCTING)
      & r_0228_0018__conducting(R_0228_0018__CONDUCTING)
      & has_arg0(R_0228_0018__CONDUCTING,Z_000_228_A_LAW_H15A119_37)
      & has_arg1(R_0228_0018__CONDUCTING,R_0228_0019__THE_R_0228_0020__BUSINESS)
      & has_nim38(R_0228_0018__CONDUCTING,R_0228_0016__AND)
      & r_0228_0016__and(R_0228_0016__AND)
      & has_conj2(R_0228_0016__AND,R_0228_0017__SOUNDLY)
      & has_conj1(R_0228_0016__AND,R_0228_0015__PROPERLY)
      & has_arg0(R_0228_0006__SHALL_R_0228_0007__HAVE_R_0228_0008__ESTABLISHED,R_0228_0004__THE_R_0228_0005__APPLICANT) ) ).

( (IP-MAT (LST (PULB -LRB-)
               (LS i)
               (PURB -RRB-))
          (NP-SBJ (D The;{the})
                  (N applicant;{applicant}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_Tn_ established;{establish})
                                  (NP-OB1 (D a;{a})
                                          (N business;{business})
                                          (N execution;{execution})
                                          (N method;{method})
                                          (ADJP (ADJ necessary;{necessary})
                                                (PP (P-ROLE for;{for})
                                                    (IP-PPL (ADVP-NIM (AVLYR (AVLYR (ADV properly;{properly}))
                                                                             (CONJP (CONJ and;{and})
                                                                                    (AVLYR (ADV soundly;{soundly})))))
                                                            (VAG;_Tn_ conducting;{conduct})
                                                            (NP-OB1 (D the;{the})
                                                                    (N business;{business})
                                                                    (IP-PPL (NP-LGS *)
                                                                            (VVN;_Tn_ mentioned;{mention})
                                                                            (PP-NIM (P-ROLE in;{in})
                                                                                    (NP (D;_nphd_ any;{any})
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (D the;{the})
                                                                                                (NS items;{item})
                                                                                                (PP (P-ROLE of;{of})
                                                                                                    (NP (N paragraph;{paragraph})
                                                                                                        (PULB -LRB-)
                                                                                                        (NUM 1)
                                                                                                        (PURB -RRB-)
                                                                                                        (PP (P-ROLE of;{of})
                                                                                                            (NP (N Article;{article})
                                                                                                                (NUM 37)))))))))))))))))
          (PUNC .))
  (ID 228_a_law_h15a119;180_4_39_3i))