Context                Previous, Next                Top


19_a_uksc_judgment
Whether or not this is a good thing is not for this or any other court to judge.

%3 r_0019_0002__or or r_0019_0003__not not r_0019_0002__or->r_0019_0003__not [conj1] r_0019_0005__is is r_0019_0002__or->r_0019_0005__is [conj2] z_000_19_a_uksc_judgment_10 r_0019_0003__not->z_000_19_a_uksc_judgment_10 [keep_scope] r_0019_0004__this this r_0019_0005__is->r_0019_0004__this [arg0] r_0019_0006__a_r_0019_0008__thing a thing r_0019_0005__is->r_0019_0006__a_r_0019_0008__thing [prd] r_0019_0007__good good r_0019_0006__a_r_0019_0008__thing->r_0019_0007__good [attrib] r_0019_0009__is is r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge for to judge r_0019_0009__is->r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge [arg0] r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge->r_0019_0002__or [arg1] r_0019_0013__or or r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge->r_0019_0013__or [arg0] r_0019_0010__not not r_0019_0010__not->r_0019_0009__is [keep_scope] r_0019_0012__this this r_0019_0013__or->r_0019_0012__this [conj1] r_0019_0014__any_r_0019_0016__court any court r_0019_0013__or->r_0019_0014__any_r_0019_0016__court [conj2] r_0019_0015__other other r_0019_0014__any_r_0019_0016__court->r_0019_0015__other [attrib] 
arc(r_0019_0002__or, r_0019_0003__not, conj1).
arc(r_0019_0002__or, r_0019_0005__is, conj2).
arc(r_0019_0003__not, z_000_19_a_uksc_judgment_10, keep_scope).
arc(r_0019_0005__is, r_0019_0004__this, arg0).
arc(r_0019_0005__is, r_0019_0006__a_r_0019_0008__thing, prd).
arc(r_0019_0006__a_r_0019_0008__thing, r_0019_0007__good, attrib22).
arc(r_0019_0009__is, r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge, arg0).
arc(r_0019_0010__not, r_0019_0009__is, keep_scope).
arc(r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge, r_0019_0002__or, arg1).
arc(r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge, r_0019_0013__or, arg0).
arc(r_0019_0013__or, r_0019_0012__this, conj1).
arc(r_0019_0013__or, r_0019_0014__any_r_0019_0016__court, conj2).
arc(r_0019_0014__any_r_0019_0016__court, r_0019_0015__other, attrib45).


%3 r_0019_0002__or or r_0019_0003__not not r_0019_0002__or->r_0019_0003__not [conj1] r_0019_0005__is is r_0019_0002__or->r_0019_0005__is [conj2] z_000_19_a_uksc_judgment_10 r_0019_0003__not->z_000_19_a_uksc_judgment_10 [keep_scope] r_0019_0004__this this r_0019_0005__is->r_0019_0004__this [arg0] r_0019_0006__a_r_0019_0008__thing a thing r_0019_0005__is->r_0019_0006__a_r_0019_0008__thing [prd] r_0019_0007__good good r_0019_0006__a_r_0019_0008__thing->r_0019_0007__good [attrib] r_0019_0009__is is r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge for to judge r_0019_0009__is->r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge [arg0] r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge->r_0019_0002__or [arg1] r_0019_0013__or or r_0019_0011__for_r_0019_0017__to_r_0019_0018__judge->r_0019_0013__or [arg0] r_0019_0010__not not r_0019_0010__not->r_0019_0009__is [keep_scope] r_0019_0012__this this r_0019_0013__or->r_0019_0012__this [conj1] r_0019_0014__any_r_0019_0016__court any court r_0019_0013__or->r_0019_0014__any_r_0019_0016__court [conj2] r_0019_0015__other other r_0019_0014__any_r_0019_0016__court->r_0019_0015__other [attrib] 
fof(formula,axiom,
    ~ ? [R_19_9_IS,R_19_11_FOR_TO_JUDGE,R_19_13_OR,R_19_12_THIS,R_19_14_ANY_COURT,R_19_15_OTHER,R_19_2_OR,R_19_5_IS,R_19_4_THIS,R_19_6_A_THING,R_19_7_GOOD] :
        ( this(R_19_12_THIS)
        & other(R_19_15_OTHER)
        & this(R_19_4_THIS)
        & good(R_19_7_GOOD)
        & is(R_19_9_IS,R_19_11_FOR_TO_JUDGE)
        & for_to_judge(R_19_11_FOR_TO_JUDGE,R_19_13_OR,R_19_2_OR)
        & or(R_19_13_OR)
        & conj1(R_19_13_OR,R_19_12_THIS)
        & conj2(R_19_13_OR,R_19_14_ANY_COURT)
        & any_court(R_19_14_ANY_COURT)
        & attrib45(R_19_14_ANY_COURT,R_19_15_OTHER)
        & or(R_19_2_OR)
        & conj1(R_19_2_OR,R_19_3_NOT)
        & ~ ? [Z_19_A_UKSC_JUDGMENT_10] : true
        & conj2(R_19_2_OR,R_19_5_IS)
        & is(R_19_5_IS,R_19_4_THIS,R_19_6_A_THING)
        & a_thing(R_19_6_A_THING)
        & attrib22(R_19_6_A_THING,R_19_7_GOOD) ) ).


n19_a_uksc_judgment n19_a_uksc_judgment_5 Whether n19_a_uksc_judgment_9 or n19_a_uksc_judgment_12 not n19_a_uksc_judgment_16 this n19_a_uksc_judgment_18 is n19_a_uksc_judgment_21 a n19_a_uksc_judgment_24 good n19_a_uksc_judgment_26 thing n19_a_uksc_judgment_28 is n19_a_uksc_judgment_30 not n19_a_uksc_judgment_33 for n19_a_uksc_judgment_38 this n19_a_uksc_judgment_41 or n19_a_uksc_judgment_44 any n19_a_uksc_judgment_47 other n19_a_uksc_judgment_49 court n19_a_uksc_judgment_51 to n19_a_uksc_judgment_53 judge n19_a_uksc_judgment_55 . n19_a_uksc_judgment_1 IP-MAT n19_a_uksc_judgment_2 CP-QUE-SBJ n19_a_uksc_judgment_1->n19_a_uksc_judgment_2 n19_a_uksc_judgment_27 BEP;_I_ n19_a_uksc_judgment_1->n19_a_uksc_judgment_27 n19_a_uksc_judgment_29 NEG n19_a_uksc_judgment_1->n19_a_uksc_judgment_29 n19_a_uksc_judgment_31 IP-INF-NSBJ n19_a_uksc_judgment_1->n19_a_uksc_judgment_31 n19_a_uksc_judgment_54 PUNC n19_a_uksc_judgment_1->n19_a_uksc_judgment_54 n19_a_uksc_judgment_3 IP-SUB n19_a_uksc_judgment_2->n19_a_uksc_judgment_3 n19_a_uksc_judgment_4 WQ n19_a_uksc_judgment_3->n19_a_uksc_judgment_4 n19_a_uksc_judgment_6 ILYR n19_a_uksc_judgment_3->n19_a_uksc_judgment_6 n19_a_uksc_judgment_4->n19_a_uksc_judgment_5 n19_a_uksc_judgment_7 CONJP n19_a_uksc_judgment_6->n19_a_uksc_judgment_7 n19_a_uksc_judgment_13 ILYR n19_a_uksc_judgment_6->n19_a_uksc_judgment_13 n19_a_uksc_judgment_8 CONJ n19_a_uksc_judgment_7->n19_a_uksc_judgment_8 n19_a_uksc_judgment_10 ILYR n19_a_uksc_judgment_7->n19_a_uksc_judgment_10 n19_a_uksc_judgment_8->n19_a_uksc_judgment_9 n19_a_uksc_judgment_11 NEG n19_a_uksc_judgment_10->n19_a_uksc_judgment_11 n19_a_uksc_judgment_11->n19_a_uksc_judgment_12 n19_a_uksc_judgment_14 NP-SBJ n19_a_uksc_judgment_13->n19_a_uksc_judgment_14 n19_a_uksc_judgment_17 BEP;_Ln_ n19_a_uksc_judgment_13->n19_a_uksc_judgment_17 n19_a_uksc_judgment_19 NP-PRD n19_a_uksc_judgment_13->n19_a_uksc_judgment_19 n19_a_uksc_judgment_15 D;_nphd_ n19_a_uksc_judgment_14->n19_a_uksc_judgment_15 n19_a_uksc_judgment_15->n19_a_uksc_judgment_16 n19_a_uksc_judgment_17->n19_a_uksc_judgment_18 n19_a_uksc_judgment_20 D n19_a_uksc_judgment_19->n19_a_uksc_judgment_20 n19_a_uksc_judgment_22 ADJP n19_a_uksc_judgment_19->n19_a_uksc_judgment_22 n19_a_uksc_judgment_25 N n19_a_uksc_judgment_19->n19_a_uksc_judgment_25 n19_a_uksc_judgment_20->n19_a_uksc_judgment_21 n19_a_uksc_judgment_23 ADJ n19_a_uksc_judgment_22->n19_a_uksc_judgment_23 n19_a_uksc_judgment_23->n19_a_uksc_judgment_24 n19_a_uksc_judgment_25->n19_a_uksc_judgment_26 n19_a_uksc_judgment_27->n19_a_uksc_judgment_28 n19_a_uksc_judgment_29->n19_a_uksc_judgment_30 n19_a_uksc_judgment_32 P-CONN n19_a_uksc_judgment_31->n19_a_uksc_judgment_32 n19_a_uksc_judgment_34 NP-LGS n19_a_uksc_judgment_31->n19_a_uksc_judgment_34 n19_a_uksc_judgment_50 TO n19_a_uksc_judgment_31->n19_a_uksc_judgment_50 n19_a_uksc_judgment_52 VB;_Tw_ n19_a_uksc_judgment_31->n19_a_uksc_judgment_52 n19_a_uksc_judgment_32->n19_a_uksc_judgment_33 n19_a_uksc_judgment_35 NLYR n19_a_uksc_judgment_34->n19_a_uksc_judgment_35 n19_a_uksc_judgment_36 NLYR n19_a_uksc_judgment_35->n19_a_uksc_judgment_36 n19_a_uksc_judgment_39 CONJP n19_a_uksc_judgment_35->n19_a_uksc_judgment_39 n19_a_uksc_judgment_37 D;_nphd_ n19_a_uksc_judgment_36->n19_a_uksc_judgment_37 n19_a_uksc_judgment_37->n19_a_uksc_judgment_38 n19_a_uksc_judgment_40 CONJ n19_a_uksc_judgment_39->n19_a_uksc_judgment_40 n19_a_uksc_judgment_42 NLYR n19_a_uksc_judgment_39->n19_a_uksc_judgment_42 n19_a_uksc_judgment_40->n19_a_uksc_judgment_41 n19_a_uksc_judgment_43 D n19_a_uksc_judgment_42->n19_a_uksc_judgment_43 n19_a_uksc_judgment_45 ADJP n19_a_uksc_judgment_42->n19_a_uksc_judgment_45 n19_a_uksc_judgment_48 N n19_a_uksc_judgment_42->n19_a_uksc_judgment_48 n19_a_uksc_judgment_43->n19_a_uksc_judgment_44 n19_a_uksc_judgment_46 ADJ n19_a_uksc_judgment_45->n19_a_uksc_judgment_46 n19_a_uksc_judgment_46->n19_a_uksc_judgment_47 n19_a_uksc_judgment_48->n19_a_uksc_judgment_49 n19_a_uksc_judgment_50->n19_a_uksc_judgment_51 n19_a_uksc_judgment_52->n19_a_uksc_judgment_53 n19_a_uksc_judgment_54->n19_a_uksc_judgment_55 
( (IP-MAT (CP-QUE-SBJ (IP-SUB (WQ Whether;{whether})
                              (ILYR (CONJP (CONJ or;{or})
                                           (ILYR (NEG not;{not})))
                                    (ILYR (NP-SBJ;{CHANGE} (D;_nphd_ this;{this}))
                                          (BEP;_Ln_ is;{be})
                                          (NP-PRD (D a;{a})
                                                  (ADJP (ADJ good;{good}))
                                                  (N thing;{thing}))))))
          (BEP;_I_ is;{be})
          (NEG not;{not})
          (IP-INF-NSBJ (P-CONN for;{for})
                       (NP-LGS (NLYR (NLYR (D;_nphd_ this;{this}))
                                     (CONJP (CONJ or;{or})
                                            (NLYR (D any;{any})
                                                  (ADJP (ADJ other;{other}))
                                                  (N court;{court})))))
                       (TO to;{to})
                       (VB;_Tw_ judge;{judge}))
          (PUNC .))
  (ID 19_a_uksc_judgment))