Context                Previous, Next                Top


15_a_uksc_judgment
Prorogation means that they can not do that.

%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_0003__that_r_0015_0005__can that can r_0015_0006__not->r_0015_0003__that_r_0015_0005__can [keep_scope] r_0015_0007__do do r_0015_0003__that_r_0015_0005__can->r_0015_0007__do [scope] r_0015_0004__they they r_0015_0007__do->r_0015_0004__they [arg0] r_0015_0008__that that r_0015_0007__do->r_0015_0008__that [arg1] 
arc(r_0015_0002__means, r_0015_0001__Prorogation, arg0).
arc(r_0015_0002__means, r_0015_0006__not, arg1).
arc(r_0015_0003__that_r_0015_0005__can, r_0015_0007__do, scope).
arc(r_0015_0006__not, r_0015_0003__that_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_0003__that_r_0015_0005__can_r_0015_0007__do that can do r_0015_0008__that that r_0015_0003__that_r_0015_0005__can_r_0015_0007__do->r_0015_0008__that [arg1] r_0015_0004__they they r_0015_0003__that_r_0015_0005__can_r_0015_0007__do->r_0015_0004__they [arg0] r_0015_0006__not not r_0015_0006__not->r_0015_0003__that_r_0015_0005__can_r_0015_0007__do [keep_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] 
fof(formula,axiom,
    ? [R_15_2_MEANS,R_15_1_PROROGATION] :
      ( prorogation(R_15_1_PROROGATION)
      & means(R_15_2_MEANS,R_15_1_PROROGATION,R_15_6_NOT)
      & ~ ? [R_15_3_THAT_CAN_DO,R_15_4_THEY,R_15_8_THAT] :
            ( they(R_15_4_THEY)
            & that(R_15_8_THAT)
            & that_can_do(R_15_3_THAT_CAN_DO,R_15_4_THEY,R_15_8_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))