Context                Previous, Next                Top


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

%3 r_0040_0001__And_r_0040_0007__can And can r_0040_0008__be be r_0040_0001__And_r_0040_0007__can->r_0040_0008__be [scope] r_0040_0009__imposed imposed r_0040_0008__be->r_0040_0009__imposed [scope] r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_ ten years ' r_0040_0002__up_to up to r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_->r_0040_0002__up_to [qual] r_0040_0006__imprisonment imprisonment r_0040_0006__imprisonment->r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_ [gen] r_0040_0009__imposed->r_0040_0006__imprisonment [arg1] r_0040_0011__anyone anyone r_0040_0009__imposed->r_0040_0011__anyone on [clr] z_000_40_a_lob_a02_23 r_0040_0009__imposed->z_000_40_a_lob_a02_23 [arg0] r_0040_0012__convicted convicted r_0040_0012__convicted->r_0040_0011__anyone [arg1] r_0040_0014__sabotage sabotage r_0040_0012__convicted->r_0040_0014__sabotage of [clr] z_000_40_a_lob_a02_34 r_0040_0012__convicted->z_000_40_a_lob_a02_34 [arg0] 
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).


%3 r_0040_0012__convicted convicted z_000_40_a_lob_a02_34 r_0040_0012__convicted->z_000_40_a_lob_a02_34 [arg0] r_0040_0014__sabotage sabotage r_0040_0012__convicted->r_0040_0014__sabotage of [clr] r_0040_0011__anyone anyone r_0040_0012__convicted->r_0040_0011__anyone [arg1] r_0040_0001__And_r_0040_0007__can_r_0040_0008__be_r_0040_0009__imposed And can be imposed r_0040_0001__And_r_0040_0007__can_r_0040_0008__be_r_0040_0009__imposed->r_0040_0011__anyone on [clr] z_000_40_a_lob_a02_23 r_0040_0001__And_r_0040_0007__can_r_0040_0008__be_r_0040_0009__imposed->z_000_40_a_lob_a02_23 [arg0] r_0040_0006__imprisonment imprisonment r_0040_0001__And_r_0040_0007__can_r_0040_0008__be_r_0040_0009__imposed->r_0040_0006__imprisonment [arg1] r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_ ten years ' r_0040_0006__imprisonment->r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_ [gen] r_0040_0002__up_to up to r_0040_0003__ten_r_0040_0004__years_r_0040_0005___apos_->r_0040_0002__up_to [qual] 
fof(formula,axiom,
    ? [R_40_1_AND_CAN_BE_IMPOSED,Z_40_A_LOB_A02_23,R_40_6_IMPRISONMENT,R_40_3_TEN_YEARS_APOS_,R_40_2_UP_TO,R_40_12_CONVICTED,Z_40_A_LOB_A02_34,R_40_11_ANYONE,R_40_14_SABOTAGE] :
      ( up_to(R_40_2_UP_TO)
      & anyone(R_40_11_ANYONE)
      & sabotage(R_40_14_SABOTAGE)
      & and_can_be_imposed(R_40_1_AND_CAN_BE_IMPOSED,Z_40_A_LOB_A02_23,R_40_6_IMPRISONMENT)
      & imprisonment(R_40_6_IMPRISONMENT)
      & gen(R_40_6_IMPRISONMENT,R_40_3_TEN_YEARS_APOS_)
      & ten_years_apos_(R_40_3_TEN_YEARS_APOS_)
      & qual6(R_40_3_TEN_YEARS_APOS_,R_40_2_UP_TO)
      & on_clr30(R_40_1_AND_CAN_BE_IMPOSED,R_40_11_ANYONE)
      & convicted(R_40_12_CONVICTED,Z_40_A_LOB_A02_34,R_40_11_ANYONE)
      & of_clr41(R_40_12_CONVICTED,R_40_14_SABOTAGE) ) ).


n40_a_lob_a02 n40_a_lob_a02__1_1_1 And n40_a_lob_a02__1_2_1_1_1_1 up_to n40_a_lob_a02__1_2_1_2_1 ten n40_a_lob_a02__1_2_1_3_1 years n40_a_lob_a02__1_2_1_4_1 ' n40_a_lob_a02__1_2_2_1 imprisonment n40_a_lob_a02__1_3_1 can n40_a_lob_a02__1_4_1_1 be n40_a_lob_a02__1_4_2_1_1 * n40_a_lob_a02__1_4_2_2_1 imposed n40_a_lob_a02__1_4_2_3_1_1 on n40_a_lob_a02__1_4_2_3_2_1_1 anyone n40_a_lob_a02__1_4_2_3_2_2_1_1 * n40_a_lob_a02__1_4_2_3_2_2_2_1 convicted n40_a_lob_a02__1_4_2_3_2_2_3_1_1 of n40_a_lob_a02__1_4_2_3_2_2_3_2_1_1 sabotage n40_a_lob_a02__1_5_1 . n40_a_lob_a02__1 IP-MAT n40_a_lob_a02__1_1 CONJ;_cl_ n40_a_lob_a02__1->n40_a_lob_a02__1_1 n40_a_lob_a02__1_2 NP-SBJ n40_a_lob_a02__1->n40_a_lob_a02__1_2 n40_a_lob_a02__1_3 MD;_cat_Vi_ n40_a_lob_a02__1->n40_a_lob_a02__1_3 n40_a_lob_a02__1_4 IP-INF-CAT n40_a_lob_a02__1->n40_a_lob_a02__1_4 n40_a_lob_a02__1_5 PUNC n40_a_lob_a02__1->n40_a_lob_a02__1_5 n40_a_lob_a02__1_1->n40_a_lob_a02__1_1_1 n40_a_lob_a02__1_2_1 NP-GEN n40_a_lob_a02__1_2->n40_a_lob_a02__1_2_1 n40_a_lob_a02__1_2_2 N n40_a_lob_a02__1_2->n40_a_lob_a02__1_2_2 n40_a_lob_a02__1_2_1_1 ADVP n40_a_lob_a02__1_2_1->n40_a_lob_a02__1_2_1_1 n40_a_lob_a02__1_2_1_2 NUM n40_a_lob_a02__1_2_1->n40_a_lob_a02__1_2_1_2 n40_a_lob_a02__1_2_1_3 NS n40_a_lob_a02__1_2_1->n40_a_lob_a02__1_2_1_3 n40_a_lob_a02__1_2_1_4 GENM n40_a_lob_a02__1_2_1->n40_a_lob_a02__1_2_1_4 n40_a_lob_a02__1_2_1_1_1 ADV n40_a_lob_a02__1_2_1_1->n40_a_lob_a02__1_2_1_1_1 n40_a_lob_a02__1_2_1_1_1->n40_a_lob_a02__1_2_1_1_1_1 n40_a_lob_a02__1_2_1_2->n40_a_lob_a02__1_2_1_2_1 n40_a_lob_a02__1_2_1_3->n40_a_lob_a02__1_2_1_3_1 n40_a_lob_a02__1_2_1_4->n40_a_lob_a02__1_2_1_4_1 n40_a_lob_a02__1_2_2->n40_a_lob_a02__1_2_2_1 n40_a_lob_a02__1_3->n40_a_lob_a02__1_3_1 n40_a_lob_a02__1_4_1 BE;_cat_VePASS_ n40_a_lob_a02__1_4->n40_a_lob_a02__1_4_1 n40_a_lob_a02__1_4_2 IP-PPL-CAT n40_a_lob_a02__1_4->n40_a_lob_a02__1_4_2 n40_a_lob_a02__1_4_1->n40_a_lob_a02__1_4_1_1 n40_a_lob_a02__1_4_2_1 NP-LGS n40_a_lob_a02__1_4_2->n40_a_lob_a02__1_4_2_1 n40_a_lob_a02__1_4_2_2 VVN;_Tn.pr_ n40_a_lob_a02__1_4_2->n40_a_lob_a02__1_4_2_2 n40_a_lob_a02__1_4_2_3 PP-CLR n40_a_lob_a02__1_4_2->n40_a_lob_a02__1_4_2_3 n40_a_lob_a02__1_4_2_1->n40_a_lob_a02__1_4_2_1_1 n40_a_lob_a02__1_4_2_2->n40_a_lob_a02__1_4_2_2_1 n40_a_lob_a02__1_4_2_3_1 P-ROLE n40_a_lob_a02__1_4_2_3->n40_a_lob_a02__1_4_2_3_1 n40_a_lob_a02__1_4_2_3_2 NP n40_a_lob_a02__1_4_2_3->n40_a_lob_a02__1_4_2_3_2 n40_a_lob_a02__1_4_2_3_1->n40_a_lob_a02__1_4_2_3_1_1 n40_a_lob_a02__1_4_2_3_2_1 D;_nphd_ n40_a_lob_a02__1_4_2_3_2->n40_a_lob_a02__1_4_2_3_2_1 n40_a_lob_a02__1_4_2_3_2_2 IP-PPL n40_a_lob_a02__1_4_2_3_2->n40_a_lob_a02__1_4_2_3_2_2 n40_a_lob_a02__1_4_2_3_2_1->n40_a_lob_a02__1_4_2_3_2_1_1 n40_a_lob_a02__1_4_2_3_2_2_1 NP-LGS n40_a_lob_a02__1_4_2_3_2_2->n40_a_lob_a02__1_4_2_3_2_2_1 n40_a_lob_a02__1_4_2_3_2_2_2 VVN;_Tn.pr_ n40_a_lob_a02__1_4_2_3_2_2->n40_a_lob_a02__1_4_2_3_2_2_2 n40_a_lob_a02__1_4_2_3_2_2_3 PP-CLR n40_a_lob_a02__1_4_2_3_2_2->n40_a_lob_a02__1_4_2_3_2_2_3 n40_a_lob_a02__1_4_2_3_2_2_1->n40_a_lob_a02__1_4_2_3_2_2_1_1 n40_a_lob_a02__1_4_2_3_2_2_2->n40_a_lob_a02__1_4_2_3_2_2_2_1 n40_a_lob_a02__1_4_2_3_2_2_3_1 P-ROLE n40_a_lob_a02__1_4_2_3_2_2_3->n40_a_lob_a02__1_4_2_3_2_2_3_1 n40_a_lob_a02__1_4_2_3_2_2_3_2 NP n40_a_lob_a02__1_4_2_3_2_2_3->n40_a_lob_a02__1_4_2_3_2_2_3_2 n40_a_lob_a02__1_4_2_3_2_2_3_1->n40_a_lob_a02__1_4_2_3_2_2_3_1_1 n40_a_lob_a02__1_4_2_3_2_2_3_2_1 N n40_a_lob_a02__1_4_2_3_2_2_3_2->n40_a_lob_a02__1_4_2_3_2_2_3_2_1 n40_a_lob_a02__1_4_2_3_2_2_3_2_1->n40_a_lob_a02__1_4_2_3_2_2_3_2_1_1 n40_a_lob_a02__1_5->n40_a_lob_a02__1_5_1 
( (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))