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_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_r_0015_0007__do that can do r_0015_0006__not->r_0015_0003__that_r_0015_0005__can_r_0015_0007__do [keep_scope] r_0015_0004__they they r_0015_0003__that_r_0015_0005__can_r_0015_0007__do->r_0015_0004__they [arg0] r_0015_0008__that that r_0015_0003__that_r_0015_0005__can_r_0015_0007__do->r_0015_0008__that [arg1] 
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_4 Prorogation n15_a_uksc_judgment_6 means n15_a_uksc_judgment_10 that n15_a_uksc_judgment_13 they n15_a_uksc_judgment_15 can n15_a_uksc_judgment_17 not n15_a_uksc_judgment_20 do n15_a_uksc_judgment_23 that n15_a_uksc_judgment_25 . n15_a_uksc_judgment_1 IP-MAT n15_a_uksc_judgment_2 NP-SBJ n15_a_uksc_judgment_1->n15_a_uksc_judgment_2 n15_a_uksc_judgment_5 VBP;_Tf_ n15_a_uksc_judgment_1->n15_a_uksc_judgment_5 n15_a_uksc_judgment_7 CP-THT-OB1 n15_a_uksc_judgment_1->n15_a_uksc_judgment_7 n15_a_uksc_judgment_24 PUNC n15_a_uksc_judgment_1->n15_a_uksc_judgment_24 n15_a_uksc_judgment_3 NPR n15_a_uksc_judgment_2->n15_a_uksc_judgment_3 n15_a_uksc_judgment_3->n15_a_uksc_judgment_4 n15_a_uksc_judgment_5->n15_a_uksc_judgment_6 n15_a_uksc_judgment_8 IP-SUB n15_a_uksc_judgment_7->n15_a_uksc_judgment_8 n15_a_uksc_judgment_9 C n15_a_uksc_judgment_8->n15_a_uksc_judgment_9 n15_a_uksc_judgment_11 NP-SBJ n15_a_uksc_judgment_8->n15_a_uksc_judgment_11 n15_a_uksc_judgment_14 MD;_cat_Vi_ n15_a_uksc_judgment_8->n15_a_uksc_judgment_14 n15_a_uksc_judgment_16 NEG n15_a_uksc_judgment_8->n15_a_uksc_judgment_16 n15_a_uksc_judgment_18 IP-INF-CAT n15_a_uksc_judgment_8->n15_a_uksc_judgment_18 n15_a_uksc_judgment_9->n15_a_uksc_judgment_10 n15_a_uksc_judgment_12 PRO n15_a_uksc_judgment_11->n15_a_uksc_judgment_12 n15_a_uksc_judgment_12->n15_a_uksc_judgment_13 n15_a_uksc_judgment_14->n15_a_uksc_judgment_15 n15_a_uksc_judgment_16->n15_a_uksc_judgment_17 n15_a_uksc_judgment_19 DO;_Tn_ n15_a_uksc_judgment_18->n15_a_uksc_judgment_19 n15_a_uksc_judgment_21 NP-OB1 n15_a_uksc_judgment_18->n15_a_uksc_judgment_21 n15_a_uksc_judgment_19->n15_a_uksc_judgment_20 n15_a_uksc_judgment_22 D;_nphd_ n15_a_uksc_judgment_21->n15_a_uksc_judgment_22 n15_a_uksc_judgment_22->n15_a_uksc_judgment_23 n15_a_uksc_judgment_24->n15_a_uksc_judgment_25 
( (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))