TSPC 223_a_law

223_a_law_h15a119
(a) An individual sentenced to imprisonment or a heavier punishment, or having received a sentence pursuant to the provision of this Act, with not exceeding two years after the individual served out the sentence or was exempted from the execution of the sentence

( (FRAG (LST (PULB -LRB-)
             (LS a)
             (PURB -RRB-))
        (NP (D An;{an})
            (N individual;{individual})
            (IP-PPL (ILYR (ILYR (NP-LGS *)
                                (VVN;_Ipr_ sentenced;{sentence[to]})
                                (PP-CLR (P-ROLE to;{to})
                                        (NP (NLYR (NLYR (N imprisonment;{imprisonment}))
                                                  (CONJP (CONJ or;{or})
                                                         (NLYR (D a;{a})
                                                               (ADJP (ADJR heavier;{heavy}))
                                                               (N punishment;{punishment})))))))
                          (PUNC ,)
                          (CONJP (CONJ or;{or})
                                 (ILYR (HAG;_cat_Ve_ having;{have})
                                       (IP-PPL-CAT (VVN;_Tn_ received;{receive})
                                                   (NP-OB1 (D a;{a})
                                                           (N sentence;{sentence}))
                                                   (PP-NIM (P-ROLE pursuant_to;{pursuant_to})
                                                           (NP (D the;{the})
                                                               (N provision;{provision})
                                                               (PP (P-ROLE of;{of})
                                                                   (NP (D this;{this})
                                                                       (N Act;{act})))
                                                               (PUNC ,)
                                                               (PP (P-ROLE with;{with})
                                                                   (IP-PPL (NEG not;{not})
                                                                           (VAG;_Tn_ exceeding;{exceed})
                                                                           (NP-OB1 (NUM two;{two})
                                                                                   (NS years;{year})
                                                                                   (PP (P-CONN after;{after})
                                                                                       (IP-ADV (NP-SBJ (D the;{the})
                                                                                                       (N individual;{individual}))
                                                                                               (ILYR (ILYR (VBD;_phr_Vp.n_ served;{serve[out]})
                                                                                                           (RP out;{out})
                                                                                                           (NP-OB1 (D the;{the})
                                                                                                                   (N sentence;{sentence})))
                                                                                                     (CONJP (CONJ or;{or})
                                                                                                            (ILYR (BED;_cat_VePASS_ was;{be})
                                                                                                                  (IP-PPL-CAT (NP-LGS *)
                                                                                                                              (VVN;_Tn.pr_ exempted;{exempt[from]})
                                                                                                                              (PP-CLR (P-ROLE from;{from})
                                                                                                                                      (NP (D the;{the})
                                                                                                                                          (N execution;{execution})
                                                                                                                                          (PP (P-ROLE of;{of})
                                                                                                                                              (NP (D the;{the})
                                                                                                                                                  (N sentence;{sentence})))))))))))))))))))))))
  (ID 223_a_law_h15a119;176_4_38_3iiia))

arc(r_0223_0006__sentenced_r_0223_0007__to,r_0223_0004__An_r_0223_0005__individual,inv_arg2).
arc(r_0223_0006__sentenced_r_0223_0007__to,r_0223_0009__or,arg1).
arc(r_0223_0006__sentenced_r_0223_0007__to,z_0223_5008___star_,arg0).
arc(r_0223_0009__or,r_0223_0008__imprisonment,conj1).
arc(r_0223_0009__or,r_0223_0010__a_r_0223_0012__punishment,conj2).
arc(r_0223_0010__a_r_0223_0012__punishment,r_0223_0011__heavier,attrib).
arc(r_0223_0014__or,r_0223_0006__sentenced_r_0223_0007__to,conj1).
arc(r_0223_0014__or,r_0223_0015__having,conj2).
arc(r_0223_0015__having,r_0223_0016__received,scope).
arc(r_0223_0016__received,r_0223_0004__An_r_0223_0005__individual,arg0).
arc(r_0223_0016__received,r_0223_0017__a_r_0223_0018__sentence,arg1).
arc(r_0223_0016__received,r_0223_0020__the_r_0223_0021__provision,r_0223_0019__pursuant_to__nim).
arc(r_0223_0020__the_r_0223_0021__provision,r_0223_0023__this_r_0223_0024__Act,r_0223_0022__of).
arc(r_0223_0020__the_r_0223_0021__provision,r_0223_0027__not,r_0223_0026__with).
arc(r_0223_0027__not,r_0223_0028__exceeding,keep_scope).
arc(r_0223_0028__exceeding,r_0223_0029__two_r_0223_0030__years,arg1).
arc(r_0223_0028__exceeding,z_0223_5016,arg0).
arc(r_0223_0029__two_r_0223_0030__years,r_0223_0038__or,r_0223_0031__after).
arc(r_0223_0034__served_r_0223_0035__out,r_0223_0032__the_r_0223_0033__individual,arg0).
arc(r_0223_0034__served_r_0223_0035__out,r_0223_0036__the_r_0223_0037__sentence,arg1).
arc(r_0223_0038__or,r_0223_0034__served_r_0223_0035__out,conj1).
arc(r_0223_0038__or,r_0223_0039__was,conj2).
arc(r_0223_0039__was,r_0223_0040__exempted_r_0223_0041__from,scope).
arc(r_0223_0040__exempted_r_0223_0041__from,r_0223_0032__the_r_0223_0033__individual,arg1).
arc(r_0223_0040__exempted_r_0223_0041__from,r_0223_0042__the_r_0223_0043__execution,arg2).
arc(r_0223_0040__exempted_r_0223_0041__from,z_0223_5025___star_,arg0).
arc(r_0223_0042__the_r_0223_0043__execution,r_0223_0045__the_r_0223_0046__sentence,r_0223_0044__of).
arc(z_0223_5034,r_0223_0004__An_r_0223_0005__individual,z_0223_5002).

fof(formula,axiom,
    ? [R_0223_0008__IMPRISONMENT,R_0223_0011__HEAVIER,R_0223_0010__A_R_0223_0012__PUNISHMENT,R_0223_0009__OR,Z_0223_5008___STAR_,R_0223_0006__SENTENCED_R_0223_0007__TO,R_0223_0004__AN_R_0223_0005__INDIVIDUAL,R_0223_0017__A_R_0223_0018__SENTENCE,R_0223_0023__THIS_R_0223_0024__ACT,R_0223_0020__THE_R_0223_0021__PROVISION,R_0223_0015__HAVING_R_0223_0016__RECEIVED,R_0223_0014__OR,Z_0223_5034] :
      ( r_0223_0008__imprisonment(R_0223_0008__IMPRISONMENT)
      & r_0223_0011__heavier(R_0223_0011__HEAVIER)
      & r_0223_0017__a_r_0223_0018__sentence(R_0223_0017__A_R_0223_0018__SENTENCE)
      & r_0223_0023__this_r_0223_0024__Act(R_0223_0023__THIS_R_0223_0024__ACT)
      & z_0223_5008___star_(Z_0223_5008___STAR_)
      & z_0223_5034(Z_0223_5034)
      & has_z_0223_5002(Z_0223_5034,R_0223_0004__AN_R_0223_0005__INDIVIDUAL)
      & r_0223_0004__An_r_0223_0005__individual(R_0223_0004__AN_R_0223_0005__INDIVIDUAL)
      & has_inv_arg2(R_0223_0004__AN_R_0223_0005__INDIVIDUAL,R_0223_0006__SENTENCED_R_0223_0007__TO)
      & r_0223_0006__sentenced_r_0223_0007__to(R_0223_0006__SENTENCED_R_0223_0007__TO)
      & has_arg0(R_0223_0006__SENTENCED_R_0223_0007__TO,Z_0223_5008___STAR_)
      & has_arg1(R_0223_0006__SENTENCED_R_0223_0007__TO,R_0223_0009__OR)
      & r_0223_0009__or(R_0223_0009__OR)
      & has_conj2(R_0223_0009__OR,R_0223_0010__A_R_0223_0012__PUNISHMENT)
      & r_0223_0010__a_r_0223_0012__punishment(R_0223_0010__A_R_0223_0012__PUNISHMENT)
      & has_attrib(R_0223_0010__A_R_0223_0012__PUNISHMENT,R_0223_0011__HEAVIER)
      & has_conj1(R_0223_0009__OR,R_0223_0008__IMPRISONMENT)
      & r_0223_0014__or(R_0223_0014__OR)
      & has_conj2(R_0223_0014__OR,R_0223_0015__HAVING_R_0223_0016__RECEIVED)
      & r_0223_0015__having_r_0223_0016__received(R_0223_0015__HAVING_R_0223_0016__RECEIVED)
      & has_r_0223_0019__pursuant_to__nim(R_0223_0015__HAVING_R_0223_0016__RECEIVED,R_0223_0020__THE_R_0223_0021__PROVISION)
      & r_0223_0020__the_r_0223_0021__provision(R_0223_0020__THE_R_0223_0021__PROVISION)
      & has_r_0223_0026__with(R_0223_0020__THE_R_0223_0021__PROVISION,R_0223_0027__NOT)
      & ~ ? [R_0223_0032__THE_R_0223_0033__INDIVIDUAL,R_0223_0036__THE_R_0223_0037__SENTENCE,R_0223_0034__SERVED_R_0223_0035__OUT,R_0223_0045__THE_R_0223_0046__SENTENCE,R_0223_0042__THE_R_0223_0043__EXECUTION,Z_0223_5025___STAR_,R_0223_0039__WAS_R_0223_0040__EXEMPTED_R_0223_0041__FROM,R_0223_0038__OR,R_0223_0029__TWO_R_0223_0030__YEARS,Z_0223_5016,R_0223_0028__EXCEEDING] :
            ( r_0223_0032__the_r_0223_0033__individual(R_0223_0032__THE_R_0223_0033__INDIVIDUAL)
            & r_0223_0036__the_r_0223_0037__sentence(R_0223_0036__THE_R_0223_0037__SENTENCE)
            & r_0223_0045__the_r_0223_0046__sentence(R_0223_0045__THE_R_0223_0046__SENTENCE)
            & z_0223_5016(Z_0223_5016)
            & z_0223_5025___star_(Z_0223_5025___STAR_)
            & r_0223_0028__exceeding(R_0223_0028__EXCEEDING)
            & has_arg0(R_0223_0028__EXCEEDING,Z_0223_5016)
            & has_arg1(R_0223_0028__EXCEEDING,R_0223_0029__TWO_R_0223_0030__YEARS)
            & r_0223_0029__two_r_0223_0030__years(R_0223_0029__TWO_R_0223_0030__YEARS)
            & has_r_0223_0031__after(R_0223_0029__TWO_R_0223_0030__YEARS,R_0223_0038__OR)
            & r_0223_0038__or(R_0223_0038__OR)
            & has_conj2(R_0223_0038__OR,R_0223_0039__WAS_R_0223_0040__EXEMPTED_R_0223_0041__FROM)
            & r_0223_0039__was_r_0223_0040__exempted_r_0223_0041__from(R_0223_0039__WAS_R_0223_0040__EXEMPTED_R_0223_0041__FROM)
            & has_arg0(R_0223_0039__WAS_R_0223_0040__EXEMPTED_R_0223_0041__FROM,Z_0223_5025___STAR_)
            & has_arg2(R_0223_0039__WAS_R_0223_0040__EXEMPTED_R_0223_0041__FROM,R_0223_0042__THE_R_0223_0043__EXECUTION)
            & r_0223_0042__the_r_0223_0043__execution(R_0223_0042__THE_R_0223_0043__EXECUTION)
            & has_r_0223_0044__of(R_0223_0042__THE_R_0223_0043__EXECUTION,R_0223_0045__THE_R_0223_0046__SENTENCE)
            & has_arg1(R_0223_0039__WAS_R_0223_0040__EXEMPTED_R_0223_0041__FROM,R_0223_0032__THE_R_0223_0033__INDIVIDUAL)
            & has_conj1(R_0223_0038__OR,R_0223_0034__SERVED_R_0223_0035__OUT)
            & r_0223_0034__served_r_0223_0035__out(R_0223_0034__SERVED_R_0223_0035__OUT)
            & has_arg1(R_0223_0034__SERVED_R_0223_0035__OUT,R_0223_0036__THE_R_0223_0037__SENTENCE)
            & has_arg0(R_0223_0034__SERVED_R_0223_0035__OUT,R_0223_0032__THE_R_0223_0033__INDIVIDUAL) )
      & has_r_0223_0022__of(R_0223_0020__THE_R_0223_0021__PROVISION,R_0223_0023__THIS_R_0223_0024__ACT)
      & has_arg1(R_0223_0015__HAVING_R_0223_0016__RECEIVED,R_0223_0017__A_R_0223_0018__SENTENCE)
      & has_arg0(R_0223_0015__HAVING_R_0223_0016__RECEIVED,R_0223_0004__AN_R_0223_0005__INDIVIDUAL)
      & has_conj1(R_0223_0014__OR,R_0223_0006__SENTENCED_R_0223_0007__TO) ) ).