Context                Previous, Next                Top


15_a_uksc_judgment
Prorogation means that they can not do that.

n15_a_uksc_judgment n15_a_uksc_judgment__1_1_1_1 Prorogation n15_a_uksc_judgment__1_2_1 means n15_a_uksc_judgment__1_3_1_1_1 that n15_a_uksc_judgment__1_3_1_2_1_1 they n15_a_uksc_judgment__1_3_1_3_1 can n15_a_uksc_judgment__1_3_1_4_1 not n15_a_uksc_judgment__1_3_1_5_1_1 do n15_a_uksc_judgment__1_3_1_5_2_1_1 that n15_a_uksc_judgment__1_4_1 . n15_a_uksc_judgment__1 IP-MAT n15_a_uksc_judgment__1_1 NP-SBJ n15_a_uksc_judgment__1->n15_a_uksc_judgment__1_1 n15_a_uksc_judgment__1_2 VBP;_Tf_ n15_a_uksc_judgment__1->n15_a_uksc_judgment__1_2 n15_a_uksc_judgment__1_3 CP-THT-OB1 n15_a_uksc_judgment__1->n15_a_uksc_judgment__1_3 n15_a_uksc_judgment__1_4 PUNC n15_a_uksc_judgment__1->n15_a_uksc_judgment__1_4 n15_a_uksc_judgment__1_1_1 NPR n15_a_uksc_judgment__1_1->n15_a_uksc_judgment__1_1_1 n15_a_uksc_judgment__1_1_1->n15_a_uksc_judgment__1_1_1_1 n15_a_uksc_judgment__1_2->n15_a_uksc_judgment__1_2_1 n15_a_uksc_judgment__1_3_1 IP-SUB n15_a_uksc_judgment__1_3->n15_a_uksc_judgment__1_3_1 n15_a_uksc_judgment__1_3_1_1 C n15_a_uksc_judgment__1_3_1->n15_a_uksc_judgment__1_3_1_1 n15_a_uksc_judgment__1_3_1_2 NP-SBJ n15_a_uksc_judgment__1_3_1->n15_a_uksc_judgment__1_3_1_2 n15_a_uksc_judgment__1_3_1_3 MD;_cat_Vi_ n15_a_uksc_judgment__1_3_1->n15_a_uksc_judgment__1_3_1_3 n15_a_uksc_judgment__1_3_1_4 NEG n15_a_uksc_judgment__1_3_1->n15_a_uksc_judgment__1_3_1_4 n15_a_uksc_judgment__1_3_1_5 IP-INF-CAT n15_a_uksc_judgment__1_3_1->n15_a_uksc_judgment__1_3_1_5 n15_a_uksc_judgment__1_3_1_1->n15_a_uksc_judgment__1_3_1_1_1 n15_a_uksc_judgment__1_3_1_2_1 PRO n15_a_uksc_judgment__1_3_1_2->n15_a_uksc_judgment__1_3_1_2_1 n15_a_uksc_judgment__1_3_1_2_1->n15_a_uksc_judgment__1_3_1_2_1_1 n15_a_uksc_judgment__1_3_1_3->n15_a_uksc_judgment__1_3_1_3_1 n15_a_uksc_judgment__1_3_1_4->n15_a_uksc_judgment__1_3_1_4_1 n15_a_uksc_judgment__1_3_1_5_1 DO;_Tn_ n15_a_uksc_judgment__1_3_1_5->n15_a_uksc_judgment__1_3_1_5_1 n15_a_uksc_judgment__1_3_1_5_2 NP-OB1 n15_a_uksc_judgment__1_3_1_5->n15_a_uksc_judgment__1_3_1_5_2 n15_a_uksc_judgment__1_3_1_5_1->n15_a_uksc_judgment__1_3_1_5_1_1 n15_a_uksc_judgment__1_3_1_5_2_1 D;_nphd_ n15_a_uksc_judgment__1_3_1_5_2->n15_a_uksc_judgment__1_3_1_5_2_1 n15_a_uksc_judgment__1_3_1_5_2_1->n15_a_uksc_judgment__1_3_1_5_2_1_1 n15_a_uksc_judgment__1_4->n15_a_uksc_judgment__1_4_1 
( (IP-MAT (NP-SBJ;{PROROGATION} (NPR Prorogation;{Prorogation}))
          (VBP;_Tf_ means;{mean})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{PARLIAMENT} (PRO they;{they}))
                              (MD;_cat_Vi_ can;{can})
                              (NEG not;{not})
                              (IP-INF-CAT (DO;_Tn_ do;{do})
                                          (NP-OB1;{FUNCTION} (D;_nphd_ that;{that})))))
          (PUNC .))
  (ID 15_a_uksc_judgment))


%3 r_0015_0007__do do r_0015_0008__that that r_0015_0007__do->r_0015_0008__that [arg1] r_0015_0004__they they r_0015_0007__do->r_0015_0004__they [arg0] r_0015_0006__not not r_0015_0005__can can r_0015_0006__not->r_0015_0005__can [keep_scope] r_0015_0005__can->r_0015_0007__do [scope] r_0015_0002__means means r_0015_0002__means->r_0015_0006__not [arg1] r_0015_0001__Prorogation Prorogation r_0015_0002__means->r_0015_0001__Prorogation [arg0] 
arc(r_0015_0002__means,r_0015_0001__Prorogation,arg0).
arc(r_0015_0002__means,r_0015_0006__not,arg1).
arc(r_0015_0005__can,r_0015_0007__do,scope).
arc(r_0015_0006__not,r_0015_0005__can,keep_scope).
arc(r_0015_0007__do,r_0015_0004__they,arg0).
arc(r_0015_0007__do,r_0015_0008__that,arg1).


%3 r_0015_0002__means means r_0015_0001__Prorogation Prorogation r_0015_0002__means->r_0015_0001__Prorogation [arg0] r_0015_0006__not not r_0015_0002__means->r_0015_0006__not [arg1] r_0015_0005__can_r_0015_0007__do can do r_0015_0006__not->r_0015_0005__can_r_0015_0007__do [keep_scope] r_0015_0004__they they r_0015_0005__can_r_0015_0007__do->r_0015_0004__they [arg0] r_0015_0008__that that r_0015_0005__can_r_0015_0007__do->r_0015_0008__that [arg1] 
fof(formula,axiom,
    ? [R_0015_0001__PROROGATION,R_0015_0002__MEANS] :
      ( r_0015_0001__Prorogation(R_0015_0001__PROROGATION)
      & r_0015_0002__means(R_0015_0002__MEANS)
      & has_arg1(R_0015_0002__MEANS,R_0015_0006__NOT)
      & ~ ? [R_0015_0004__THEY,R_0015_0008__THAT,R_0015_0005__CAN_R_0015_0007__DO] :
            ( r_0015_0004__they(R_0015_0004__THEY)
            & r_0015_0008__that(R_0015_0008__THAT)
            & r_0015_0005__can_r_0015_0007__do(R_0015_0005__CAN_R_0015_0007__DO)
            & has_arg1(R_0015_0005__CAN_R_0015_0007__DO,R_0015_0008__THAT)
            & has_arg0(R_0015_0005__CAN_R_0015_0007__DO,R_0015_0004__THEY) )
      & has_arg0(R_0015_0002__MEANS,R_0015_0001__PROROGATION) ) ).