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_0009__to_r_0007_0010__decide to decide 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_0001__The_r_0007_0002__Divisional_r_0007_0003__Court The Divisional Court r_0007_0009__to_r_0007_0010__decide->r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court [arg1] r_0007_0005__not not r_0007_0004__did_r_0007_0006__consider did consider r_0007_0005__not->r_0007_0004__did_r_0007_0006__consider [keep_scope] r_0007_0004__did_r_0007_0006__consider->r_0007_0009__to_r_0007_0010__decide [arg1] 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] 
fof(formula,axiom,
    ~ ? [R_0007_0001__THE_R_0007_0002__DIVISIONAL_R_0007_0003__COURT,R_0007_0008__NECESSARY,Z_000_7_A_MAJOR_CASE_15,R_0007_0009__TO_R_0007_0010__DECIDE,R_0007_0004__DID_R_0007_0006__CONSIDER] :
        ( r_0007_0001__The_r_0007_0002__Divisional_r_0007_0003__Court(R_0007_0001__THE_R_0007_0002__DIVISIONAL_R_0007_0003__COURT)
        & r_0007_0008__necessary(R_0007_0008__NECESSARY)
        & z_000_7_a_major_case_15(Z_000_7_A_MAJOR_CASE_15)
        & r_0007_0004__did_r_0007_0006__consider(R_0007_0004__DID_R_0007_0006__CONSIDER)
        & has_arg1(R_0007_0004__DID_R_0007_0006__CONSIDER,R_0007_0009__TO_R_0007_0010__DECIDE)
        & r_0007_0009__to_r_0007_0010__decide(R_0007_0009__TO_R_0007_0010__DECIDE)
        & has_arg0(R_0007_0009__TO_R_0007_0010__DECIDE,Z_000_7_A_MAJOR_CASE_15)
        & has_arg1(R_0007_0009__TO_R_0007_0010__DECIDE,R_0007_0001__THE_R_0007_0002__DIVISIONAL_R_0007_0003__COURT)
        & has_prd(R_0007_0004__DID_R_0007_0006__CONSIDER,R_0007_0008__NECESSARY)
        & has_arg0(R_0007_0004__DID_R_0007_0006__CONSIDER,R_0007_0001__THE_R_0007_0002__DIVISIONAL_R_0007_0003__COURT) ) ).


n7_a_major_case n7_a_major_case__1_1_1_1 The n7_a_major_case__1_1_2_1 Divisional n7_a_major_case__1_1_3_1 Court n7_a_major_case__1_2_1 did n7_a_major_case__1_3_1 not n7_a_major_case__1_4_1 consider n7_a_major_case__1_5_1_1 it n7_a_major_case__1_6_1_1 necessary n7_a_major_case__1_7_1_1 to n7_a_major_case__1_7_2_1 decide n7_a_major_case__1_7_3_1_1 it n7_a_major_case__1_8_1 . n7_a_major_case__1 IP-MAT n7_a_major_case__1_1 NP-SBJ n7_a_major_case__1->n7_a_major_case__1_1 n7_a_major_case__1_2 DOD n7_a_major_case__1->n7_a_major_case__1_2 n7_a_major_case__1_3 NEG n7_a_major_case__1->n7_a_major_case__1_3 n7_a_major_case__1_4 VB;_Cn.a_ n7_a_major_case__1->n7_a_major_case__1_4 n7_a_major_case__1_5 NP-OB1 n7_a_major_case__1->n7_a_major_case__1_5 n7_a_major_case__1_6 ADJP-PRD n7_a_major_case__1->n7_a_major_case__1_6 n7_a_major_case__1_7 IP-INF-NOB1 n7_a_major_case__1->n7_a_major_case__1_7 n7_a_major_case__1_8 PUNC n7_a_major_case__1->n7_a_major_case__1_8 n7_a_major_case__1_1_1 D n7_a_major_case__1_1->n7_a_major_case__1_1_1 n7_a_major_case__1_1_2 NPR n7_a_major_case__1_1->n7_a_major_case__1_1_2 n7_a_major_case__1_1_3 NPR n7_a_major_case__1_1->n7_a_major_case__1_1_3 n7_a_major_case__1_1_1->n7_a_major_case__1_1_1_1 n7_a_major_case__1_1_2->n7_a_major_case__1_1_2_1 n7_a_major_case__1_1_3->n7_a_major_case__1_1_3_1 n7_a_major_case__1_2->n7_a_major_case__1_2_1 n7_a_major_case__1_3->n7_a_major_case__1_3_1 n7_a_major_case__1_4->n7_a_major_case__1_4_1 n7_a_major_case__1_5_1 PRO;_provisional_ n7_a_major_case__1_5->n7_a_major_case__1_5_1 n7_a_major_case__1_5_1->n7_a_major_case__1_5_1_1 n7_a_major_case__1_6_1 ADJ n7_a_major_case__1_6->n7_a_major_case__1_6_1 n7_a_major_case__1_6_1->n7_a_major_case__1_6_1_1 n7_a_major_case__1_7_1 TO n7_a_major_case__1_7->n7_a_major_case__1_7_1 n7_a_major_case__1_7_2 VB;_Tn_ n7_a_major_case__1_7->n7_a_major_case__1_7_2 n7_a_major_case__1_7_3 NP-OB1 n7_a_major_case__1_7->n7_a_major_case__1_7_3 n7_a_major_case__1_7_1->n7_a_major_case__1_7_1_1 n7_a_major_case__1_7_2->n7_a_major_case__1_7_2_1 n7_a_major_case__1_7_3_1 PRO n7_a_major_case__1_7_3->n7_a_major_case__1_7_3_1 n7_a_major_case__1_7_3_1->n7_a_major_case__1_7_3_1_1 n7_a_major_case__1_8->n7_a_major_case__1_8_1 
( (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))