TSPC 42_a_uksc

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.

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).

fof(formula,axiom,
    ~ ? [R_0042_0002__IT,R_0042_0006__WHY,R_0042_0009__NECESSARY,R_0042_0016__OTHERWISE,R_0042_0012__WHAT_R_0042_0013__TIME,R_0042_0021__RELATED,R_0042_0020__BREXIT_R_0042_0022__BUSINESS,R_0042_0014__THERE_R_0042_0015__WOULD_R_0042_0017__HAVE_R_0042_0018__BEEN,Z_000_42_A_UKSC_JUDGMENT_18,R_0042_0010__TO_R_0042_0011__CURTAIL,R_0042_0008__WAS,R_0042_0001__BUT_R_0042_0003__DOES_R_0042_0005__EXPLAIN] :
        ( r_0042_0002__it(R_0042_0002__IT)
        & r_0042_0006__why(R_0042_0006__WHY)
        & r_0042_0009__necessary(R_0042_0009__NECESSARY)
        & r_0042_0012__what_r_0042_0013__time(R_0042_0012__WHAT_R_0042_0013__TIME)
        & r_0042_0016__otherwise(R_0042_0016__OTHERWISE)
        & r_0042_0021__related(R_0042_0021__RELATED)
        & z_000_42_a_uksc_judgment_18(Z_000_42_A_UKSC_JUDGMENT_18)
        & r_0042_0001__But_r_0042_0003__does_r_0042_0005__explain(R_0042_0001__BUT_R_0042_0003__DOES_R_0042_0005__EXPLAIN)
        & has_arg1(R_0042_0001__BUT_R_0042_0003__DOES_R_0042_0005__EXPLAIN,R_0042_0008__WAS)
        & r_0042_0008__was(R_0042_0008__WAS)
        & has_arg0(R_0042_0008__WAS,R_0042_0010__TO_R_0042_0011__CURTAIL)
        & r_0042_0010__to_r_0042_0011__curtail(R_0042_0010__TO_R_0042_0011__CURTAIL)
        & has_arg0(R_0042_0010__TO_R_0042_0011__CURTAIL,Z_000_42_A_UKSC_JUDGMENT_18)
        & has_arg1(R_0042_0010__TO_R_0042_0011__CURTAIL,R_0042_0014__THERE_R_0042_0015__WOULD_R_0042_0017__HAVE_R_0042_0018__BEEN)
        & r_0042_0014__there_r_0042_0015__would_r_0042_0017__have_r_0042_0018__been(R_0042_0014__THERE_R_0042_0015__WOULD_R_0042_0017__HAVE_R_0042_0018__BEEN)
        & has_r_0042_0019__for_nim56(R_0042_0014__THERE_R_0042_0015__WOULD_R_0042_0017__HAVE_R_0042_0018__BEEN,R_0042_0020__BREXIT_R_0042_0022__BUSINESS)
        & r_0042_0020__Brexit_r_0042_0022__business(R_0042_0020__BREXIT_R_0042_0022__BUSINESS)
        & has_attrib59(R_0042_0020__BREXIT_R_0042_0022__BUSINESS,R_0042_0021__RELATED)
        & has_arg0(R_0042_0014__THERE_R_0042_0015__WOULD_R_0042_0017__HAVE_R_0042_0018__BEEN,R_0042_0012__WHAT_R_0042_0013__TIME)
        & has_nim43(R_0042_0014__THERE_R_0042_0015__WOULD_R_0042_0017__HAVE_R_0042_0018__BEEN,R_0042_0016__OTHERWISE)
        & has_prd(R_0042_0008__WAS,R_0042_0009__NECESSARY)
        & has_nim15(R_0042_0008__WAS,R_0042_0006__WHY)
        & has_arg0(R_0042_0001__BUT_R_0042_0003__DOES_R_0042_0005__EXPLAIN,R_0042_0002__IT) ) ).

( (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))