Context                Previous, Next                Top


7_a_major_case
The Divisional Court did not consider it necessary to decide it.

%3 r_0007_0004__did_r_0007_0006__consider did consider r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court The Divisional Court r_0007_0004__did_r_0007_0006__consider->r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court [arg0] r_0007_0008__necessary necessary r_0007_0004__did_r_0007_0006__consider->r_0007_0008__necessary [prd] r_0007_0009__to_r_0007_0010__decide to decide r_0007_0004__did_r_0007_0006__consider->r_0007_0009__to_r_0007_0010__decide [arg1] r_0007_0009__to_r_0007_0010__decide->r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court [arg1] z_000_7_a_major_case_15 r_0007_0009__to_r_0007_0010__decide->z_000_7_a_major_case_15 [arg0] r_0007_0005__not not r_0007_0005__not->r_0007_0004__did_r_0007_0006__consider [keep_scope] 
arc(r_0007_0004__did_r_0007_0006__consider, r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court, arg0).
arc(r_0007_0004__did_r_0007_0006__consider, r_0007_0008__necessary, prd).
arc(r_0007_0004__did_r_0007_0006__consider, r_0007_0009__to_r_0007_0010__decide, arg1).
arc(r_0007_0005__not, r_0007_0004__did_r_0007_0006__consider, keep_scope).
arc(r_0007_0009__to_r_0007_0010__decide, r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court, arg1).
arc(r_0007_0009__to_r_0007_0010__decide, z_000_7_a_major_case_15, arg0).


%3 r_0007_0004__did_r_0007_0006__consider did consider r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court The Divisional Court r_0007_0004__did_r_0007_0006__consider->r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court [arg0] r_0007_0008__necessary necessary r_0007_0004__did_r_0007_0006__consider->r_0007_0008__necessary [prd] r_0007_0009__to_r_0007_0010__decide to decide r_0007_0004__did_r_0007_0006__consider->r_0007_0009__to_r_0007_0010__decide [arg1] r_0007_0009__to_r_0007_0010__decide->r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court [arg1] z_000_7_a_major_case_15 r_0007_0009__to_r_0007_0010__decide->z_000_7_a_major_case_15 [arg0] r_0007_0005__not not r_0007_0005__not->r_0007_0004__did_r_0007_0006__consider [keep_scope] 
fof(formula,axiom,
    ~ ? [R_7_4_DID_CONSIDER,R_7_9_TO_DECIDE,Z_7_A_MAJOR_CASE_15,R_7_1_THE_DIVISIONAL_COURT,R_7_8_NECESSARY] :
        ( the_Divisional_Court(R_7_1_THE_DIVISIONAL_COURT)
        & necessary(R_7_8_NECESSARY)
        & did_consider(R_7_4_DID_CONSIDER,R_7_1_THE_DIVISIONAL_COURT,R_7_9_TO_DECIDE,R_7_8_NECESSARY)
        & to_decide(R_7_9_TO_DECIDE,Z_7_A_MAJOR_CASE_15,R_7_1_THE_DIVISIONAL_COURT) ) ).


n7_a_major_case n7_a_major_case_4 The n7_a_major_case_6 Divisional n7_a_major_case_8 Court n7_a_major_case_10 did n7_a_major_case_12 not n7_a_major_case_14 consider n7_a_major_case_17 it n7_a_major_case_20 necessary n7_a_major_case_23 to n7_a_major_case_25 decide n7_a_major_case_28 it n7_a_major_case_30 . n7_a_major_case_1 IP-MAT n7_a_major_case_2 NP-SBJ n7_a_major_case_1->n7_a_major_case_2 n7_a_major_case_9 DOD n7_a_major_case_1->n7_a_major_case_9 n7_a_major_case_11 NEG n7_a_major_case_1->n7_a_major_case_11 n7_a_major_case_13 VB;_Cn.a_ n7_a_major_case_1->n7_a_major_case_13 n7_a_major_case_15 NP-OB1 n7_a_major_case_1->n7_a_major_case_15 n7_a_major_case_18 ADJP-PRD n7_a_major_case_1->n7_a_major_case_18 n7_a_major_case_21 IP-INF-NOB1 n7_a_major_case_1->n7_a_major_case_21 n7_a_major_case_29 PUNC n7_a_major_case_1->n7_a_major_case_29 n7_a_major_case_3 D n7_a_major_case_2->n7_a_major_case_3 n7_a_major_case_5 NPR n7_a_major_case_2->n7_a_major_case_5 n7_a_major_case_7 NPR n7_a_major_case_2->n7_a_major_case_7 n7_a_major_case_3->n7_a_major_case_4 n7_a_major_case_5->n7_a_major_case_6 n7_a_major_case_7->n7_a_major_case_8 n7_a_major_case_9->n7_a_major_case_10 n7_a_major_case_11->n7_a_major_case_12 n7_a_major_case_13->n7_a_major_case_14 n7_a_major_case_16 PRO;_provisional_ n7_a_major_case_15->n7_a_major_case_16 n7_a_major_case_16->n7_a_major_case_17 n7_a_major_case_19 ADJ n7_a_major_case_18->n7_a_major_case_19 n7_a_major_case_19->n7_a_major_case_20 n7_a_major_case_22 TO n7_a_major_case_21->n7_a_major_case_22 n7_a_major_case_24 VB;_Tn_ n7_a_major_case_21->n7_a_major_case_24 n7_a_major_case_26 NP-OB1 n7_a_major_case_21->n7_a_major_case_26 n7_a_major_case_22->n7_a_major_case_23 n7_a_major_case_24->n7_a_major_case_25 n7_a_major_case_27 PRO n7_a_major_case_26->n7_a_major_case_27 n7_a_major_case_27->n7_a_major_case_28 n7_a_major_case_29->n7_a_major_case_30 
( (IP-MAT (NP-SBJ (D The;{the})
                  (NPR Divisional;{Divisional})
                  (NPR Court;{Court}))
          (DOD did;{do})
          (NEG not;{not})
          (VB;_Cn.a_ consider;{consider})
          (NP-OB1 (PRO;_provisional_ it;{it}))
          (ADJP-PRD (ADJ necessary;{necessary}))
          (IP-INF-NOB1 (TO to;{to})
                       (VB;_Tn_ decide;{decide})
                       (NP-OB1 (PRO it;{it})))
          (PUNC .))
  (ID 7_a_major_case))