TSPC 99_a_law

99_a_law_h15a119
(4) The provisions of the preceding three paragraphs shall not apply to the following cases:

( (IP-MAT (LST (PULB -LRB-)
               (LS 4)
               (PURB -RRB-))
          (NP-SBJ (D The;{the})
                  (NS provisions;{provision})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (ADJP (ADJ preceding;{preceding}))
                          (NUM three;{three})
                          (NS paragraphs;{paragraph}))))
          (MD;_cat_Vi_ shall;{shall})
          (NEG not;{not})
          (IP-INF-CAT (VB;_Ipr_ apply;{apply[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (ADJP (ADJ following;{following}))
                                  (NS cases;{case}))))
          (PUNC :))
  (ID 99_a_law_h15a119;79_4_18_4))

arc(r_0099_0004__The_r_0099_0005__provisions,r_0099_0007__the_r_0099_0009__three_r_0099_0010__paragraphs,r_0099_0006__of).
arc(r_0099_0007__the_r_0099_0009__three_r_0099_0010__paragraphs,r_0099_0008__preceding,attrib).
arc(r_0099_0011__shall,r_0099_0013__apply_r_0099_0014__to,scope).
arc(r_0099_0012__not,r_0099_0011__shall,keep_scope).
arc(r_0099_0013__apply_r_0099_0014__to,r_0099_0004__The_r_0099_0005__provisions,arg0).
arc(r_0099_0013__apply_r_0099_0014__to,r_0099_0015__the_r_0099_0017__cases,arg1).
arc(r_0099_0015__the_r_0099_0017__cases,r_0099_0016__following,attrib).

fof(formula,axiom,
    ~ ? [R_0099_0008__PRECEDING,R_0099_0007__THE_R_0099_0009__THREE_R_0099_0010__PARAGRAPHS,R_0099_0004__THE_R_0099_0005__PROVISIONS,R_0099_0016__FOLLOWING,R_0099_0015__THE_R_0099_0017__CASES,R_0099_0011__SHALL_R_0099_0013__APPLY_R_0099_0014__TO] :
        ( r_0099_0008__preceding(R_0099_0008__PRECEDING)
        & r_0099_0016__following(R_0099_0016__FOLLOWING)
        & r_0099_0011__shall_r_0099_0013__apply_r_0099_0014__to(R_0099_0011__SHALL_R_0099_0013__APPLY_R_0099_0014__TO)
        & has_arg1(R_0099_0011__SHALL_R_0099_0013__APPLY_R_0099_0014__TO,R_0099_0015__THE_R_0099_0017__CASES)
        & r_0099_0015__the_r_0099_0017__cases(R_0099_0015__THE_R_0099_0017__CASES)
        & has_attrib(R_0099_0015__THE_R_0099_0017__CASES,R_0099_0016__FOLLOWING)
        & has_arg0(R_0099_0011__SHALL_R_0099_0013__APPLY_R_0099_0014__TO,R_0099_0004__THE_R_0099_0005__PROVISIONS)
        & r_0099_0004__The_r_0099_0005__provisions(R_0099_0004__THE_R_0099_0005__PROVISIONS)
        & has_r_0099_0006__of(R_0099_0004__THE_R_0099_0005__PROVISIONS,R_0099_0007__THE_R_0099_0009__THREE_R_0099_0010__PARAGRAPHS)
        & r_0099_0007__the_r_0099_0009__three_r_0099_0010__paragraphs(R_0099_0007__THE_R_0099_0009__THREE_R_0099_0010__PARAGRAPHS)
        & has_attrib(R_0099_0007__THE_R_0099_0009__THREE_R_0099_0010__PARAGRAPHS,R_0099_0008__PRECEDING) ) ).