TSPC 334_a_law

334_a_law_h15a119
If an individual has been notified, prior to enforcement of this Act, of the matters that shall be notified to the individual or be put in a readily accessible condition for the individual under item (iii) of paragraph (4) of Article 23, then it shall be deemed that the notice concerned has been given under the provision of the same paragraph.

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (D an;{an})
                                   (N individual;{individual}))
                           (HVP;_cat_Ve_ has;{have})
                           (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                       (IP-PPL-CAT (NP-LGS *)
                                                   (VVN;_Tn.pr_ notified;{notify[of]})
                                                   (PUNC ,)
                                                   (ADVP-NIM (ADV prior;{prior})
                                                             (PP (P-ROLE to;{to})
                                                                 (NP (N enforcement;{enforcement})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (D this;{this})
                                                                             (N Act;{act}))))))
                                                   (PUNC ,)
                                                   (PP-CLR (P-ROLE of;{of})
                                                           (NP (D the;{the})
                                                               (NS matters;{matter})
                                                               (IP-REL (C that;{that})
                                                                       (NP-SBJ *T*)
                                                                       (MD;_cat_Vi_ shall;{shall})
                                                                       (IP-INF-CAT (ILYR (ILYR (BE;_cat_VePASS_ be;{be})
                                                                                               (IP-PPL-CAT (NP-LGS *)
                                                                                                           (VVN;_Tn.pr_ notified;{notify[to]})
                                                                                                           (PP-CLR (P-ROLE to;{to})
                                                                                                                   (NP (D the;{the})
                                                                                                                       (N individual;{individual})))))
                                                                                         (CONJP (CONJ or;{or})
                                                                                                (ILYR (BE;_cat_VePASS_ be;{be})
                                                                                                      (IP-PPL-CAT (NP-LGS *)
                                                                                                                  (VVN;_Tn.pr_ put;{put[in]})
                                                                                                                  (PP-CLR (P-ROLE in;{in})
                                                                                                                          (NP (D a;{a})
                                                                                                                              (ADJP (ADVP (ADV readily;{readily}))
                                                                                                                                    (ADJ accessible;{accessible}))
                                                                                                                              (N condition;{condition})
                                                                                                                              (PP (P-ROLE for;{for})
                                                                                                                                  (NP (D the;{the})
                                                                                                                                      (N individual;{individual})))))
                                                                                                                  (PP-NIM (P-ROLE under;{under})
                                                                                                                          (NP (N item;{item})
                                                                                                                              (PULB -LRB-)
                                                                                                                              (N iii;{iii})
                                                                                                                              (PURB -RRB-)
                                                                                                                              (PP (P-ROLE of;{of})
                                                                                                                                  (NP (N paragraph;{paragraph})
                                                                                                                                      (PULB -LRB-)
                                                                                                                                      (NUM 4)
                                                                                                                                      (PURB -RRB-)
                                                                                                                                      (PP (P-ROLE of;{of})
                                                                                                                                          (NP (N Article;{article})
                                                                                                                                              (NUM 23)))))))))))))))))))
          (PUNC ,)
          (ADVP-NIM (ADV then;{then}))
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (MD;_cat_Vi_ shall;{shall})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_I_ deemed;{deem})
                                  (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                       (NP-SBJ (D the;{the})
                                                               (N notice;{notice})
                                                               (IP-PPL (NP-LGS *)
                                                                       (VVN;_Tn_ concerned;{concern})))
                                                       (HVP;_cat_Ve_ has;{have})
                                                       (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                                   (IP-PPL-CAT (NP-LGS *)
                                                                               (VVN;_Tn_ given;{give})
                                                                               (PP-NIM (P-ROLE under;{under})
                                                                                       (NP (D the;{the})
                                                                                           (N provision;{provision})
                                                                                           (PP (P-ROLE of;{of})
                                                                                               (NP (D the;{the})
                                                                                                   (ADJP (ADJ same;{same}))
                                                                                                   (N paragraph;{paragraph})))))))))))
          (PUNC .))
  (ID 334_a_law_h15a119;254_Supp_5))

arc(r_0334_0001__If,r_0334_0004__has,restriction).
arc(r_0334_0001__If,r_0334_0052__shall,scope).
arc(r_0334_0004__has,r_0334_0005__been,scope).
arc(r_0334_0005__been,r_0334_0006__notified_r_0334_0015__of,scope).
arc(r_0334_0006__notified_r_0334_0015__of,r_0334_0002__an_r_0334_0003__individual,arg1).
arc(r_0334_0006__notified_r_0334_0015__of,r_0334_0008__prior,nim).
arc(r_0334_0006__notified_r_0334_0015__of,r_0334_0016__the_r_0334_0017__matters,arg2).
arc(r_0334_0006__notified_r_0334_0015__of,z_0334_5028___star_,arg0).
arc(r_0334_0008__prior,r_0334_0010__enforcement,r_0334_0009__to).
arc(r_0334_0010__enforcement,r_0334_0012__this_r_0334_0013__Act,r_0334_0011__of).
arc(r_0334_0019__shall,r_0334_0025__or,scope).
arc(r_0334_0020__be,r_0334_0021__notified_r_0334_0022__to,scope).
arc(r_0334_0021__notified_r_0334_0022__to,r_0334_0016__the_r_0334_0017__matters,arg1).
arc(r_0334_0021__notified_r_0334_0022__to,r_0334_0023__the_r_0334_0024__individual,arg2).
arc(r_0334_0021__notified_r_0334_0022__to,z_0334_5009___star_,arg0).
arc(r_0334_0025__or,r_0334_0020__be,conj1).
arc(r_0334_0025__or,r_0334_0026__be,conj2).
arc(r_0334_0026__be,r_0334_0027__put_r_0334_0028__in,scope).
arc(r_0334_0027__put_r_0334_0028__in,r_0334_0016__the_r_0334_0017__matters,arg1).
arc(r_0334_0027__put_r_0334_0028__in,r_0334_0029__a_r_0334_0032__condition,arg2).
arc(r_0334_0027__put_r_0334_0028__in,r_0334_0037__item_r_0334_0039__iii,r_0334_0036__under__nim).
arc(r_0334_0027__put_r_0334_0028__in,z_0334_5020___star_,arg0).
arc(r_0334_0029__a_r_0334_0032__condition,r_0334_0031__accessible,attrib).
arc(r_0334_0029__a_r_0334_0032__condition,r_0334_0034__the_r_0334_0035__individual,r_0334_0033__for).
arc(r_0334_0031__accessible,r_0334_0030__readily,qual).
arc(r_0334_0037__item_r_0334_0039__iii,r_0334_0042__paragraph_r_0334_0044__4,r_0334_0041__of).
arc(r_0334_0042__paragraph_r_0334_0044__4,r_0334_0047__Article_r_0334_0048__23,r_0334_0046__of).
arc(r_0334_0052__shall,r_0334_0050__then,nim).
arc(r_0334_0052__shall,r_0334_0053__be,scope).
arc(r_0334_0053__be,r_0334_0054__deemed,scope).
arc(r_0334_0054__deemed,r_0334_0059__has,arg1).
arc(r_0334_0054__deemed,z_0334_5049___star_,arg0).
arc(r_0334_0058__concerned,r_0334_0056__the_r_0334_0057__notice,inv_arg1).
arc(r_0334_0058__concerned,z_0334_5038___star_,arg0).
arc(r_0334_0059__has,r_0334_0060__been,scope).
arc(r_0334_0060__been,r_0334_0061__given,scope).
arc(r_0334_0061__given,r_0334_0056__the_r_0334_0057__notice,arg1).
arc(r_0334_0061__given,r_0334_0063__the_r_0334_0064__provision,r_0334_0062__under__nim).
arc(r_0334_0061__given,z_0334_5045___star_,arg0).
arc(r_0334_0063__the_r_0334_0064__provision,r_0334_0066__the_r_0334_0068__paragraph,r_0334_0065__of).
arc(r_0334_0066__the_r_0334_0068__paragraph,r_0334_0067__same,attrib).

fof(formula,axiom,
    ? [R_0334_0016__THE_R_0334_0017__MATTERS,R_0334_0023__THE_R_0334_0024__INDIVIDUAL,Z_0334_5009___STAR_,R_0334_0020__BE_R_0334_0021__NOTIFIED_R_0334_0022__TO,R_0334_0030__READILY,R_0334_0031__ACCESSIBLE,R_0334_0034__THE_R_0334_0035__INDIVIDUAL,R_0334_0029__A_R_0334_0032__CONDITION,R_0334_0047__ARTICLE_R_0334_0048__23,R_0334_0042__PARAGRAPH_R_0334_0044__4,R_0334_0037__ITEM_R_0334_0039__III,Z_0334_5020___STAR_,R_0334_0026__BE_R_0334_0027__PUT_R_0334_0028__IN,R_0334_0025__OR,R_0334_0019__SHALL] :
      ( r_0334_0016__the_r_0334_0017__matters(R_0334_0016__THE_R_0334_0017__MATTERS)
      & r_0334_0023__the_r_0334_0024__individual(R_0334_0023__THE_R_0334_0024__INDIVIDUAL)
      & r_0334_0030__readily(R_0334_0030__READILY)
      & r_0334_0034__the_r_0334_0035__individual(R_0334_0034__THE_R_0334_0035__INDIVIDUAL)
      & r_0334_0047__Article_r_0334_0048__23(R_0334_0047__ARTICLE_R_0334_0048__23)
      & z_0334_5009___star_(Z_0334_5009___STAR_)
      & z_0334_5020___star_(Z_0334_5020___STAR_)
      & r_0334_0019__shall(R_0334_0019__SHALL)
      & has_keep_scope(R_0334_0019__SHALL,R_0334_0025__OR)
      & r_0334_0025__or(R_0334_0025__OR)
      & has_conj2(R_0334_0025__OR,R_0334_0026__BE_R_0334_0027__PUT_R_0334_0028__IN)
      & r_0334_0026__be_r_0334_0027__put_r_0334_0028__in(R_0334_0026__BE_R_0334_0027__PUT_R_0334_0028__IN)
      & has_arg0(R_0334_0026__BE_R_0334_0027__PUT_R_0334_0028__IN,Z_0334_5020___STAR_)
      & has_r_0334_0036__under__nim(R_0334_0026__BE_R_0334_0027__PUT_R_0334_0028__IN,R_0334_0037__ITEM_R_0334_0039__III)
      & r_0334_0037__item_r_0334_0039__iii(R_0334_0037__ITEM_R_0334_0039__III)
      & has_r_0334_0041__of(R_0334_0037__ITEM_R_0334_0039__III,R_0334_0042__PARAGRAPH_R_0334_0044__4)
      & r_0334_0042__paragraph_r_0334_0044__4(R_0334_0042__PARAGRAPH_R_0334_0044__4)
      & has_r_0334_0046__of(R_0334_0042__PARAGRAPH_R_0334_0044__4,R_0334_0047__ARTICLE_R_0334_0048__23)
      & has_arg2(R_0334_0026__BE_R_0334_0027__PUT_R_0334_0028__IN,R_0334_0029__A_R_0334_0032__CONDITION)
      & r_0334_0029__a_r_0334_0032__condition(R_0334_0029__A_R_0334_0032__CONDITION)
      & has_r_0334_0033__for(R_0334_0029__A_R_0334_0032__CONDITION,R_0334_0034__THE_R_0334_0035__INDIVIDUAL)
      & has_attrib(R_0334_0029__A_R_0334_0032__CONDITION,R_0334_0031__ACCESSIBLE)
      & r_0334_0031__accessible(R_0334_0031__ACCESSIBLE)
      & has_qual(R_0334_0031__ACCESSIBLE,R_0334_0030__READILY)
      & has_arg1(R_0334_0026__BE_R_0334_0027__PUT_R_0334_0028__IN,R_0334_0016__THE_R_0334_0017__MATTERS)
      & has_conj1(R_0334_0025__OR,R_0334_0020__BE_R_0334_0021__NOTIFIED_R_0334_0022__TO)
      & ~ ( has_arg0(R_0334_0020__BE_R_0334_0021__NOTIFIED_R_0334_0022__TO,Z_0334_5009___STAR_)
          & has_arg2(R_0334_0020__BE_R_0334_0021__NOTIFIED_R_0334_0022__TO,R_0334_0023__THE_R_0334_0024__INDIVIDUAL)
          & has_arg1(R_0334_0020__BE_R_0334_0021__NOTIFIED_R_0334_0022__TO,R_0334_0016__THE_R_0334_0017__MATTERS) )
      & ! [R_0334_0004__HAS_R_0334_0005__BEEN_R_0334_0006__NOTIFIED_R_0334_0015__OF,R_0334_0002__AN_R_0334_0003__INDIVIDUAL,R_0334_0012__THIS_R_0334_0013__ACT,R_0334_0010__ENFORCEMENT,R_0334_0008__PRIOR,Z_0334_5028___STAR_] :
          ( ( r_0334_0002__an_r_0334_0003__individual(R_0334_0002__AN_R_0334_0003__INDIVIDUAL)
            & r_0334_0012__this_r_0334_0013__Act(R_0334_0012__THIS_R_0334_0013__ACT)
            & z_0334_5028___star_(Z_0334_5028___STAR_)
            & ~ ( has_arg0(R_0334_0004__HAS_R_0334_0005__BEEN_R_0334_0006__NOTIFIED_R_0334_0015__OF,Z_0334_5028___STAR_)
                & has_arg2(R_0334_0004__HAS_R_0334_0005__BEEN_R_0334_0006__NOTIFIED_R_0334_0015__OF,R_0334_0016__THE_R_0334_0017__MATTERS)
                & has_nim(R_0334_0004__HAS_R_0334_0005__BEEN_R_0334_0006__NOTIFIED_R_0334_0015__OF,R_0334_0008__PRIOR)
                & r_0334_0008__prior(R_0334_0008__PRIOR)
                & has_r_0334_0009__to(R_0334_0008__PRIOR,R_0334_0010__ENFORCEMENT)
                & r_0334_0010__enforcement(R_0334_0010__ENFORCEMENT)
                & has_r_0334_0011__of(R_0334_0010__ENFORCEMENT,R_0334_0012__THIS_R_0334_0013__ACT)
                & has_arg1(R_0334_0004__HAS_R_0334_0005__BEEN_R_0334_0006__NOTIFIED_R_0334_0015__OF,R_0334_0002__AN_R_0334_0003__INDIVIDUAL) ) )
         => ? [R_0334_0050__THEN,Z_0334_5038___STAR_,R_0334_0058__CONCERNED,R_0334_0056__THE_R_0334_0057__NOTICE,R_0334_0067__SAME,R_0334_0066__THE_R_0334_0068__PARAGRAPH,R_0334_0063__THE_R_0334_0064__PROVISION,Z_0334_5045___STAR_,R_0334_0059__HAS_R_0334_0060__BEEN_R_0334_0061__GIVEN,Z_0334_5049___STAR_,R_0334_0052__SHALL_R_0334_0053__BE_R_0334_0054__DEEMED] :
              ( r_0334_0050__then(R_0334_0050__THEN)
              & r_0334_0067__same(R_0334_0067__SAME)
              & z_0334_5038___star_(Z_0334_5038___STAR_)
              & z_0334_5045___star_(Z_0334_5045___STAR_)
              & z_0334_5049___star_(Z_0334_5049___STAR_)
              & r_0334_0052__shall_r_0334_0053__be_r_0334_0054__deemed(R_0334_0052__SHALL_R_0334_0053__BE_R_0334_0054__DEEMED)
              & has_arg0(R_0334_0052__SHALL_R_0334_0053__BE_R_0334_0054__DEEMED,Z_0334_5049___STAR_)
              & has_arg1(R_0334_0052__SHALL_R_0334_0053__BE_R_0334_0054__DEEMED,R_0334_0059__HAS_R_0334_0060__BEEN_R_0334_0061__GIVEN)
              & r_0334_0059__has_r_0334_0060__been_r_0334_0061__given(R_0334_0059__HAS_R_0334_0060__BEEN_R_0334_0061__GIVEN)
              & has_arg0(R_0334_0059__HAS_R_0334_0060__BEEN_R_0334_0061__GIVEN,Z_0334_5045___STAR_)
              & has_r_0334_0062__under__nim(R_0334_0059__HAS_R_0334_0060__BEEN_R_0334_0061__GIVEN,R_0334_0063__THE_R_0334_0064__PROVISION)
              & r_0334_0063__the_r_0334_0064__provision(R_0334_0063__THE_R_0334_0064__PROVISION)
              & has_r_0334_0065__of(R_0334_0063__THE_R_0334_0064__PROVISION,R_0334_0066__THE_R_0334_0068__PARAGRAPH)
              & r_0334_0066__the_r_0334_0068__paragraph(R_0334_0066__THE_R_0334_0068__PARAGRAPH)
              & has_attrib(R_0334_0066__THE_R_0334_0068__PARAGRAPH,R_0334_0067__SAME)
              & has_arg1(R_0334_0059__HAS_R_0334_0060__BEEN_R_0334_0061__GIVEN,R_0334_0056__THE_R_0334_0057__NOTICE)
              & ~ ( has_inv_arg1(R_0334_0056__THE_R_0334_0057__NOTICE,R_0334_0058__CONCERNED)
                  & r_0334_0058__concerned(R_0334_0058__CONCERNED)
                  & has_arg0(R_0334_0058__CONCERNED,Z_0334_5038___STAR_) )
              & has_nim(R_0334_0052__SHALL_R_0334_0053__BE_R_0334_0054__DEEMED,R_0334_0050__THEN) ) ) ) ).