TSPC 40_a_lob

40_a_lob_a02
And up to ten years' imprisonment can be imposed on anyone convicted of sabotage.

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (NP-GEN (ADVP (ADV up_to;{up_to}))
                          (NUM ten;{ten})
                          (NS years;{year})
                          (GENM <apos>))
                  (N imprisonment;{imprisonment}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.pr_ imposed;{impose[on]})
                                  (PP-CLR (P-ROLE on;{on})
                                          (NP (D;_nphd_ anyone;{anyone})
                                              (IP-PPL (NP-LGS *)
                                                      (VVN;_Tn.pr_ convicted;{convict[of]})
                                                      (PP-CLR (P-ROLE of;{of})
                                                              (NP (N sabotage;{sabotage}))))))))
          (PUNC .))
  (ID 40_a_lob_a02))

arc(r_0040_0003__ten_r_0040_0004__years,r_0040_0002__up_to,qual).
arc(r_0040_0006__imprisonment,r_0040_0003__ten_r_0040_0004__years,gen).
arc(r_0040_0007__can,r_0040_0008__be,scope).
arc(r_0040_0008__be,r_0040_0009__imposed_r_0040_0010__on,scope).
arc(r_0040_0009__imposed_r_0040_0010__on,r_0040_0006__imprisonment,arg1).
arc(r_0040_0009__imposed_r_0040_0010__on,r_0040_0011__anyone,arg2).
arc(r_0040_0009__imposed_r_0040_0010__on,z_0040_5009___star_,arg0).
arc(r_0040_0012__convicted_r_0040_0013__of,r_0040_0011__anyone,inv_arg1).
arc(r_0040_0012__convicted_r_0040_0013__of,r_0040_0014__sabotage,arg2).
arc(r_0040_0012__convicted_r_0040_0013__of,z_0040_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0040_0002__UP_TO,R_0040_0003__TEN_R_0040_0004__YEARS,R_0040_0006__IMPRISONMENT,R_0040_0014__SABOTAGE,Z_0040_5007___STAR_,R_0040_0012__CONVICTED_R_0040_0013__OF,R_0040_0011__ANYONE,Z_0040_5009___STAR_,R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED_R_0040_0010__ON] :
      ( r_0040_0002__up_to(R_0040_0002__UP_TO)
      & r_0040_0014__sabotage(R_0040_0014__SABOTAGE)
      & z_0040_5007___star_(Z_0040_5007___STAR_)
      & z_0040_5009___star_(Z_0040_5009___STAR_)
      & r_0040_0007__can_r_0040_0008__be_r_0040_0009__imposed_r_0040_0010__on(R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED_R_0040_0010__ON)
      & has_arg0(R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED_R_0040_0010__ON,Z_0040_5009___STAR_)
      & has_arg2(R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED_R_0040_0010__ON,R_0040_0011__ANYONE)
      & r_0040_0011__anyone(R_0040_0011__ANYONE)
      & has_inv_arg1(R_0040_0011__ANYONE,R_0040_0012__CONVICTED_R_0040_0013__OF)
      & r_0040_0012__convicted_r_0040_0013__of(R_0040_0012__CONVICTED_R_0040_0013__OF)
      & has_arg0(R_0040_0012__CONVICTED_R_0040_0013__OF,Z_0040_5007___STAR_)
      & has_arg2(R_0040_0012__CONVICTED_R_0040_0013__OF,R_0040_0014__SABOTAGE)
      & has_arg1(R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED_R_0040_0010__ON,R_0040_0006__IMPRISONMENT)
      & r_0040_0006__imprisonment(R_0040_0006__IMPRISONMENT)
      & has_gen(R_0040_0006__IMPRISONMENT,R_0040_0003__TEN_R_0040_0004__YEARS)
      & r_0040_0003__ten_r_0040_0004__years(R_0040_0003__TEN_R_0040_0004__YEARS)
      & has_qual(R_0040_0003__TEN_R_0040_0004__YEARS,R_0040_0002__UP_TO) ) ).