Context                Previous, Next                Top


42_a_uksc_judgment
But it does not explain why it was necessary to curtail what time there would otherwise have been for Brexit related business.

%3 r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain But does explain r_0042_0002__it it r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain->r_0042_0002__it [arg0] r_0042_0008__was was r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain->r_0042_0008__was [arg1] r_0042_0006__why why r_0042_0008__was->r_0042_0006__why [nim] r_0042_0009__necessary necessary r_0042_0008__was->r_0042_0009__necessary [prd] r_0042_0010__to_r_0042_0011__curtail to curtail r_0042_0008__was->r_0042_0010__to_r_0042_0011__curtail [arg0] r_0042_0004__not not r_0042_0004__not->r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain [keep_scope] r_0042_0014__there_r_0042_0015__would there would r_0042_0010__to_r_0042_0011__curtail->r_0042_0014__there_r_0042_0015__would [arg1] z_000_42_a_uksc_judgment_18 r_0042_0010__to_r_0042_0011__curtail->z_000_42_a_uksc_judgment_18 [arg0] r_0042_0017__have have r_0042_0014__there_r_0042_0015__would->r_0042_0017__have [scope] r_0042_0016__otherwise otherwise r_0042_0017__have->r_0042_0016__otherwise [nim] r_0042_0018__been been r_0042_0017__have->r_0042_0018__been [scope] r_0042_0012__what_r_0042_0013__time what time r_0042_0018__been->r_0042_0012__what_r_0042_0013__time [arg0] r_0042_0020__Brexit_r_0042_0022__business Brexit business r_0042_0018__been->r_0042_0020__Brexit_r_0042_0022__business for [nim] r_0042_0021__related related r_0042_0020__Brexit_r_0042_0022__business->r_0042_0021__related [attrib] 
arc(r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain, r_0042_0002__it, arg0).
arc(r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain, r_0042_0008__was, arg1).
arc(r_0042_0004__not, r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain, keep_scope).
arc(r_0042_0008__was, r_0042_0006__why, nim15).
arc(r_0042_0008__was, r_0042_0009__necessary, prd).
arc(r_0042_0008__was, r_0042_0010__to_r_0042_0011__curtail, arg0).
arc(r_0042_0010__to_r_0042_0011__curtail, r_0042_0014__there_r_0042_0015__would, arg1).
arc(r_0042_0010__to_r_0042_0011__curtail, z_000_42_a_uksc_judgment_18, arg0).
arc(r_0042_0014__there_r_0042_0015__would, r_0042_0017__have, scope).
arc(r_0042_0017__have, r_0042_0016__otherwise, nim43).
arc(r_0042_0017__have, r_0042_0018__been, scope).
arc(r_0042_0018__been, r_0042_0012__what_r_0042_0013__time, arg0).
arc(r_0042_0018__been, r_0042_0020__Brexit_r_0042_0022__business, r_0042_0019__for_nim56).
arc(r_0042_0020__Brexit_r_0042_0022__business, r_0042_0021__related, attrib59).


%3 r_0042_0020__Brexit_r_0042_0022__business Brexit business r_0042_0021__related related r_0042_0020__Brexit_r_0042_0022__business->r_0042_0021__related [attrib] r_0042_0014__there_r_0042_0015__would_r_0042_0017__have_r_0042_0018__been there would have been r_0042_0014__there_r_0042_0015__would_r_0042_0017__have_r_0042_0018__been->r_0042_0020__Brexit_r_0042_0022__business for [nim] r_0042_0012__what_r_0042_0013__time what time r_0042_0014__there_r_0042_0015__would_r_0042_0017__have_r_0042_0018__been->r_0042_0012__what_r_0042_0013__time [arg0] r_0042_0016__otherwise otherwise r_0042_0014__there_r_0042_0015__would_r_0042_0017__have_r_0042_0018__been->r_0042_0016__otherwise [nim] r_0042_0010__to_r_0042_0011__curtail to curtail r_0042_0010__to_r_0042_0011__curtail->r_0042_0014__there_r_0042_0015__would_r_0042_0017__have_r_0042_0018__been [arg1] z_000_42_a_uksc_judgment_18 r_0042_0010__to_r_0042_0011__curtail->z_000_42_a_uksc_judgment_18 [arg0] r_0042_0008__was was r_0042_0008__was->r_0042_0010__to_r_0042_0011__curtail [arg0] r_0042_0009__necessary necessary r_0042_0008__was->r_0042_0009__necessary [prd] r_0042_0006__why why r_0042_0008__was->r_0042_0006__why [nim] r_0042_0004__not not r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain But does explain r_0042_0004__not->r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain [keep_scope] r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain->r_0042_0008__was [arg1] r_0042_0002__it it r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain->r_0042_0002__it [arg0] 
fof(formula,axiom,
    ~ ? [R_42_1_BUT_DOES_EXPLAIN,R_42_2_IT,R_42_8_WAS,R_42_10_TO_CURTAIL,Z_42_A_UKSC_JUDGMENT_18,R_42_14_THERE_WOULD_HAVE_BEEN,R_42_12_WHAT_TIME,R_42_16_OTHERWISE,R_42_20_BREXIT_BUSINESS,R_42_21_RELATED,R_42_6_WHY,R_42_9_NECESSARY] :
        ( it(R_42_2_IT)
        & what_time(R_42_12_WHAT_TIME)
        & otherwise(R_42_16_OTHERWISE)
        & related(R_42_21_RELATED)
        & why(R_42_6_WHY)
        & necessary(R_42_9_NECESSARY)
        & but_does_explain(R_42_1_BUT_DOES_EXPLAIN,R_42_2_IT,R_42_8_WAS)
        & was(R_42_8_WAS,R_42_10_TO_CURTAIL,R_42_9_NECESSARY)
        & to_curtail(R_42_10_TO_CURTAIL,Z_42_A_UKSC_JUDGMENT_18,R_42_14_THERE_WOULD_HAVE_BEEN)
        & there_would_have_been(R_42_14_THERE_WOULD_HAVE_BEEN,R_42_12_WHAT_TIME)
        & nim43(R_42_14_THERE_WOULD_HAVE_BEEN,R_42_16_OTHERWISE)
        & for_nim56(R_42_14_THERE_WOULD_HAVE_BEEN,R_42_20_BREXIT_BUSINESS)
        & brexit_business(R_42_20_BREXIT_BUSINESS)
        & attrib59(R_42_20_BREXIT_BUSINESS,R_42_21_RELATED)
        & nim15(R_42_8_WAS,R_42_6_WHY) ) ).


n42_a_uksc_judgment n42_a_uksc_judgment__1_1_1 But n42_a_uksc_judgment__1_2_1_1 it n42_a_uksc_judgment__1_3_1 does n42_a_uksc_judgment__1_4_1 not n42_a_uksc_judgment__1_5_1 explain n42_a_uksc_judgment__1_6_1_1_1_1 why n42_a_uksc_judgment__1_6_1_2_1_1 it n42_a_uksc_judgment__1_6_1_3_1 was n42_a_uksc_judgment__1_6_1_4_1_1 necessary n42_a_uksc_judgment__1_6_1_5_1_1 to n42_a_uksc_judgment__1_6_1_5_2_1 curtail n42_a_uksc_judgment__1_6_1_5_3_1_1_1_1 what n42_a_uksc_judgment__1_6_1_5_3_1_1_2_1 time n42_a_uksc_judgment__1_6_1_5_3_1_2_1 there n42_a_uksc_judgment__1_6_1_5_3_1_3_1 would n42_a_uksc_judgment__1_6_1_5_3_1_4_1_1_1 otherwise n42_a_uksc_judgment__1_6_1_5_3_1_4_2_1 have n42_a_uksc_judgment__1_6_1_5_3_1_4_3_1_1 *ICH*-162 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_2_1 been n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_1_1 for n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_1_1 Brexit n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_2_1_1 related n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_3_1 business n42_a_uksc_judgment__1_7_1 . n42_a_uksc_judgment__1 IP-MAT n42_a_uksc_judgment__1_1 CONJ;_cl_ n42_a_uksc_judgment__1->n42_a_uksc_judgment__1_1 n42_a_uksc_judgment__1_2 NP-SBJ n42_a_uksc_judgment__1->n42_a_uksc_judgment__1_2 n42_a_uksc_judgment__1_3 DOP n42_a_uksc_judgment__1->n42_a_uksc_judgment__1_3 n42_a_uksc_judgment__1_4 NEG n42_a_uksc_judgment__1->n42_a_uksc_judgment__1_4 n42_a_uksc_judgment__1_5 VB;_Tw_ n42_a_uksc_judgment__1->n42_a_uksc_judgment__1_5 n42_a_uksc_judgment__1_6 CP-QUE-OB1 n42_a_uksc_judgment__1->n42_a_uksc_judgment__1_6 n42_a_uksc_judgment__1_7 PUNC n42_a_uksc_judgment__1->n42_a_uksc_judgment__1_7 n42_a_uksc_judgment__1_1->n42_a_uksc_judgment__1_1_1 n42_a_uksc_judgment__1_2_1 PRO n42_a_uksc_judgment__1_2->n42_a_uksc_judgment__1_2_1 n42_a_uksc_judgment__1_2_1->n42_a_uksc_judgment__1_2_1_1 n42_a_uksc_judgment__1_3->n42_a_uksc_judgment__1_3_1 n42_a_uksc_judgment__1_4->n42_a_uksc_judgment__1_4_1 n42_a_uksc_judgment__1_5->n42_a_uksc_judgment__1_5_1 n42_a_uksc_judgment__1_6_1 IP-SUB n42_a_uksc_judgment__1_6->n42_a_uksc_judgment__1_6_1 n42_a_uksc_judgment__1_6_1_1 ADVP-NIM n42_a_uksc_judgment__1_6_1->n42_a_uksc_judgment__1_6_1_1 n42_a_uksc_judgment__1_6_1_2 NP-SBJ n42_a_uksc_judgment__1_6_1->n42_a_uksc_judgment__1_6_1_2 n42_a_uksc_judgment__1_6_1_3 BED;_La_ n42_a_uksc_judgment__1_6_1->n42_a_uksc_judgment__1_6_1_3 n42_a_uksc_judgment__1_6_1_4 ADJP-PRD n42_a_uksc_judgment__1_6_1->n42_a_uksc_judgment__1_6_1_4 n42_a_uksc_judgment__1_6_1_5 IP-INF-NSBJ n42_a_uksc_judgment__1_6_1->n42_a_uksc_judgment__1_6_1_5 n42_a_uksc_judgment__1_6_1_1_1 WADV n42_a_uksc_judgment__1_6_1_1->n42_a_uksc_judgment__1_6_1_1_1 n42_a_uksc_judgment__1_6_1_1_1->n42_a_uksc_judgment__1_6_1_1_1_1 n42_a_uksc_judgment__1_6_1_2_1 PRO;_provisional_ n42_a_uksc_judgment__1_6_1_2->n42_a_uksc_judgment__1_6_1_2_1 n42_a_uksc_judgment__1_6_1_2_1->n42_a_uksc_judgment__1_6_1_2_1_1 n42_a_uksc_judgment__1_6_1_3->n42_a_uksc_judgment__1_6_1_3_1 n42_a_uksc_judgment__1_6_1_4_1 ADJ n42_a_uksc_judgment__1_6_1_4->n42_a_uksc_judgment__1_6_1_4_1 n42_a_uksc_judgment__1_6_1_4_1->n42_a_uksc_judgment__1_6_1_4_1_1 n42_a_uksc_judgment__1_6_1_5_1 TO n42_a_uksc_judgment__1_6_1_5->n42_a_uksc_judgment__1_6_1_5_1 n42_a_uksc_judgment__1_6_1_5_2 VB;_Tw_ n42_a_uksc_judgment__1_6_1_5->n42_a_uksc_judgment__1_6_1_5_2 n42_a_uksc_judgment__1_6_1_5_3 CP-QUE-OB1 n42_a_uksc_judgment__1_6_1_5->n42_a_uksc_judgment__1_6_1_5_3 n42_a_uksc_judgment__1_6_1_5_1->n42_a_uksc_judgment__1_6_1_5_1_1 n42_a_uksc_judgment__1_6_1_5_2->n42_a_uksc_judgment__1_6_1_5_2_1 n42_a_uksc_judgment__1_6_1_5_3_1 IP-SUB n42_a_uksc_judgment__1_6_1_5_3->n42_a_uksc_judgment__1_6_1_5_3_1 n42_a_uksc_judgment__1_6_1_5_3_1_1 NP-162 n42_a_uksc_judgment__1_6_1_5_3_1->n42_a_uksc_judgment__1_6_1_5_3_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_2 EX n42_a_uksc_judgment__1_6_1_5_3_1->n42_a_uksc_judgment__1_6_1_5_3_1_2 n42_a_uksc_judgment__1_6_1_5_3_1_3 MD;_cat_Vi_ n42_a_uksc_judgment__1_6_1_5_3_1->n42_a_uksc_judgment__1_6_1_5_3_1_3 n42_a_uksc_judgment__1_6_1_5_3_1_4 IP-INF-CAT n42_a_uksc_judgment__1_6_1_5_3_1->n42_a_uksc_judgment__1_6_1_5_3_1_4 n42_a_uksc_judgment__1_6_1_5_3_1_1_1 WPRO n42_a_uksc_judgment__1_6_1_5_3_1_1->n42_a_uksc_judgment__1_6_1_5_3_1_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_1_2 N n42_a_uksc_judgment__1_6_1_5_3_1_1->n42_a_uksc_judgment__1_6_1_5_3_1_1_2 n42_a_uksc_judgment__1_6_1_5_3_1_1_1->n42_a_uksc_judgment__1_6_1_5_3_1_1_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_1_2->n42_a_uksc_judgment__1_6_1_5_3_1_1_2_1 n42_a_uksc_judgment__1_6_1_5_3_1_2->n42_a_uksc_judgment__1_6_1_5_3_1_2_1 n42_a_uksc_judgment__1_6_1_5_3_1_3->n42_a_uksc_judgment__1_6_1_5_3_1_3_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_1 ADVP-NIM n42_a_uksc_judgment__1_6_1_5_3_1_4->n42_a_uksc_judgment__1_6_1_5_3_1_4_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_2 HV;_cat_Ve_ n42_a_uksc_judgment__1_6_1_5_3_1_4->n42_a_uksc_judgment__1_6_1_5_3_1_4_2 n42_a_uksc_judgment__1_6_1_5_3_1_4_3 IP-PPL-CAT n42_a_uksc_judgment__1_6_1_5_3_1_4->n42_a_uksc_judgment__1_6_1_5_3_1_4_3 n42_a_uksc_judgment__1_6_1_5_3_1_4_1_1 ADV n42_a_uksc_judgment__1_6_1_5_3_1_4_1->n42_a_uksc_judgment__1_6_1_5_3_1_4_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_1_1->n42_a_uksc_judgment__1_6_1_5_3_1_4_1_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_2->n42_a_uksc_judgment__1_6_1_5_3_1_4_2_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_1 NP-ESBJ n42_a_uksc_judgment__1_6_1_5_3_1_4_3->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_2 BEN;_ex_V_ n42_a_uksc_judgment__1_6_1_5_3_1_4_3->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_2 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3 PP-NIM n42_a_uksc_judgment__1_6_1_5_3_1_4_3->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_1->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_2->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_2_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_1 P-ROLE n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2 NP n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_1->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_1 NPR n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_2 ADJP n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_2 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_3 N n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_3 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_1->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_2_1 ADJ n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_2->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_2_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_2_1->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_2_1_1 n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_3->n42_a_uksc_judgment__1_6_1_5_3_1_4_3_3_2_3_1 n42_a_uksc_judgment__1_7->n42_a_uksc_judgment__1_7_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{PROPOSAL} (PRO it;{it}))
          (DOP does;{do})
          (NEG not;{not})
          (VB;_Tw_ explain;{explain})
          (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (NP-SBJ (PRO;_provisional_ it;{it}))
                              (BED;_La_ was;{be})
                              (ADJP-PRD (ADJ necessary;{necessary}))
                              (IP-INF-NSBJ (TO to;{to})
                                           (VB;_Tw_ curtail;{curtail})
                                           (CP-QUE-OB1 (IP-SUB (NP-162 (WPRO what;{what})
                                                                       (N time;{time}))
                                                               (EX there;{there})
                                                               (MD;_cat_Vi_ would;{will})
                                                               (IP-INF-CAT (ADVP-NIM (ADV otherwise;{otherwise}))
                                                                           (HV;_cat_Ve_ have;{have})
                                                                           (IP-PPL-CAT (NP-ESBJ *ICH*-162)
                                                                                       (BEN;_ex_V_ been;{be})
                                                                                       (PP-NIM (P-ROLE for;{for})
                                                                                               (NP (NPR Brexit;{Brexit})
                                                                                                   (ADJP (ADJ related;{related}))
                                                                                                   (N business;{business}))))))))))
          (PUNC .))
  (ID 42_a_uksc_judgment))