TSPC 50_a_law

50_a_law_h15a119
(5) The provisions of the preceding two paragraphs shall apply mutatis mutandis to amendments to the Basic Policy.

( (IP-MAT (LST (PULB -LRB-)
               (LS 5)
               (PURB -RRB-))
          (NP-SBJ (D The;{the})
                  (NS provisions;{provision})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (ADJP (ADJ preceding;{preceding}))
                          (NUM two;{two})
                          (NS paragraphs;{paragraph}))))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (VB;_Ipr_ apply;{apply[to]})
                      (ADVP-NIM (FW mutatis)
                                (FW mutandis))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (NS amendments;{amendment})
                                  (PP (P-ROLE to;{to})
                                      (NP (D the;{the})
                                          (NPR Basic;{Basic})
                                          (NPR Policy;{Policy}))))))
          (PUNC .))
  (ID 50_a_law_h15a119;42_3_7_5))

arc(r_0050_0004__The_r_0050_0005__provisions,r_0050_0007__the_r_0050_0009__two_r_0050_0010__paragraphs,r_0050_0006__of).
arc(r_0050_0007__the_r_0050_0009__two_r_0050_0010__paragraphs,r_0050_0008__preceding,attrib).
arc(r_0050_0011__shall,r_0050_0012__apply_r_0050_0015__to,scope).
arc(r_0050_0012__apply_r_0050_0015__to,r_0050_0004__The_r_0050_0005__provisions,arg0).
arc(r_0050_0012__apply_r_0050_0015__to,r_0050_0016__amendments,arg1).
arc(r_0050_0012__apply_r_0050_0015__to,z_0050_5007,nim).
arc(r_0050_0016__amendments,r_0050_0018__the_r_0050_0019__Basic_r_0050_0020__Policy,r_0050_0017__to).

fof(formula,axiom,
    ? [R_0050_0008__PRECEDING,R_0050_0007__THE_R_0050_0009__TWO_R_0050_0010__PARAGRAPHS,R_0050_0004__THE_R_0050_0005__PROVISIONS,R_0050_0018__THE_R_0050_0019__BASIC_R_0050_0020__POLICY,R_0050_0016__AMENDMENTS,Z_0050_5007,R_0050_0011__SHALL_R_0050_0012__APPLY_R_0050_0015__TO] :
      ( r_0050_0008__preceding(R_0050_0008__PRECEDING)
      & r_0050_0018__the_r_0050_0019__Basic_r_0050_0020__Policy(R_0050_0018__THE_R_0050_0019__BASIC_R_0050_0020__POLICY)
      & z_0050_5007(Z_0050_5007)
      & r_0050_0011__shall_r_0050_0012__apply_r_0050_0015__to(R_0050_0011__SHALL_R_0050_0012__APPLY_R_0050_0015__TO)
      & has_nim(R_0050_0011__SHALL_R_0050_0012__APPLY_R_0050_0015__TO,Z_0050_5007)
      & has_arg1(R_0050_0011__SHALL_R_0050_0012__APPLY_R_0050_0015__TO,R_0050_0016__AMENDMENTS)
      & r_0050_0016__amendments(R_0050_0016__AMENDMENTS)
      & has_r_0050_0017__to(R_0050_0016__AMENDMENTS,R_0050_0018__THE_R_0050_0019__BASIC_R_0050_0020__POLICY)
      & has_arg0(R_0050_0011__SHALL_R_0050_0012__APPLY_R_0050_0015__TO,R_0050_0004__THE_R_0050_0005__PROVISIONS)
      & r_0050_0004__The_r_0050_0005__provisions(R_0050_0004__THE_R_0050_0005__PROVISIONS)
      & has_r_0050_0006__of(R_0050_0004__THE_R_0050_0005__PROVISIONS,R_0050_0007__THE_R_0050_0009__TWO_R_0050_0010__PARAGRAPHS)
      & r_0050_0007__the_r_0050_0009__two_r_0050_0010__paragraphs(R_0050_0007__THE_R_0050_0009__TWO_R_0050_0010__PARAGRAPHS)
      & has_attrib(R_0050_0007__THE_R_0050_0009__TWO_R_0050_0010__PARAGRAPHS,R_0050_0008__PRECEDING) ) ).