TSPC 40_a_lob

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

arc(r_0040_0001__And_r_0040_0007__can, r_0040_0008__be, scope).
arc(r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_, r_0040_0002__up_to, qual6).
arc(r_0040_0006__imprisonment, r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_, gen).
arc(r_0040_0008__be, r_0040_0009__imposed, scope).
arc(r_0040_0009__imposed, r_0040_0006__imprisonment, arg1).
arc(r_0040_0009__imposed, r_0040_0011__anyone, r_0040_0010__on_clr30).
arc(r_0040_0009__imposed, z_000_40_a_lob_a02_23, arg0).
arc(r_0040_0012__convicted, r_0040_0011__anyone, arg1).
arc(r_0040_0012__convicted, r_0040_0014__sabotage, r_0040_0013__of_clr41).
arc(r_0040_0012__convicted, z_000_40_a_lob_a02_34, arg0).

fof(formula,axiom,
    ? [R_0040_0002__UP_TO,R_0040_0003__TEN_R_0040_0004__YEARS_R_0040_0005___APOS_,R_0040_0006__IMPRISONMENT,R_0040_0011__ANYONE,Z_000_40_A_LOB_A02_23,R_0040_0001__AND_R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED,R_0040_0014__SABOTAGE,Z_000_40_A_LOB_A02_34,R_0040_0012__CONVICTED] :
      ( r_0040_0002__up_to(R_0040_0002__UP_TO)
      & r_0040_0011__anyone(R_0040_0011__ANYONE)
      & r_0040_0014__sabotage(R_0040_0014__SABOTAGE)
      & z_000_40_a_lob_a02_23(Z_000_40_A_LOB_A02_23)
      & z_000_40_a_lob_a02_34(Z_000_40_A_LOB_A02_34)
      & r_0040_0012__convicted(R_0040_0012__CONVICTED)
      & has_arg0(R_0040_0012__CONVICTED,Z_000_40_A_LOB_A02_34)
      & has_r_0040_0013__of_clr41(R_0040_0012__CONVICTED,R_0040_0014__SABOTAGE)
      & has_arg1(R_0040_0012__CONVICTED,R_0040_0011__ANYONE)
      & r_0040_0001__And_r_0040_0007__can_r_0040_0008__be_r_0040_0009__imposed(R_0040_0001__AND_R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED)
      & has_arg0(R_0040_0001__AND_R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED,Z_000_40_A_LOB_A02_23)
      & has_r_0040_0010__on_clr30(R_0040_0001__AND_R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED,R_0040_0011__ANYONE)
      & has_arg1(R_0040_0001__AND_R_0040_0007__CAN_R_0040_0008__BE_R_0040_0009__IMPOSED,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_0005___APOS_)
      & r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_(R_0040_0003__TEN_R_0040_0004__YEARS_R_0040_0005___APOS_)
      & has_qual6(R_0040_0003__TEN_R_0040_0004__YEARS_R_0040_0005___APOS_,R_0040_0002__UP_TO) ) ).

( (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))