TSPC 14_a_uksc

14_a_uksc_judgment
Even if they had agreed to go into recess for the usual three-week period, they would still have been able to perform their function of holding the government to account.

arc(r_0014_0001__Even_r_0014_0002__if, r_0014_0004__had, restriction).
arc(r_0014_0001__Even_r_0014_0002__if, r_0014_0017__would, scope).
arc(r_0014_0004__had, r_0014_0005__agreed, scope).
arc(r_0014_0005__agreed, r_0014_0003__they, arg0).
arc(r_0014_0005__agreed, r_0014_0006__to_r_0014_0007__go, arg1).
arc(r_0014_0006__to_r_0014_0007__go, r_0014_0003__they, arg0).
arc(r_0014_0006__to_r_0014_0007__go, r_0014_0009__recess, r_0014_0008__into_clr24).
arc(r_0014_0006__to_r_0014_0007__go, r_0014_0011__the_r_0014_0014__period, r_0014_0010__for_nim30).
arc(r_0014_0011__the_r_0014_0014__period, r_0014_0012__usual, attrib33).
arc(r_0014_0011__the_r_0014_0014__period, r_0014_0013__three__hyphen__week, attrib36).
arc(r_0014_0017__would, r_0014_0019__have, scope).
arc(r_0014_0019__have, r_0014_0018__still, nim49).
arc(r_0014_0019__have, r_0014_0020__been, scope).
arc(r_0014_0020__been, r_0014_0016__they, arg0).
arc(r_0014_0020__been, r_0014_0021__able, prd).
arc(r_0014_0021__able, r_0014_0022__to_r_0014_0023__perform, emb60).
arc(r_0014_0022__to_r_0014_0023__perform, r_0014_0025__function, arg1).
arc(r_0014_0022__to_r_0014_0023__perform, z_000_14_a_uksc_judgment_60, arg0).
arc(r_0014_0025__function, r_0014_0016__they, gen).
arc(r_0014_0025__function, r_0014_0027__holding, r_0014_0026__of).
arc(r_0014_0027__holding, r_0014_0028__the_r_0014_0029__government, arg1).
arc(r_0014_0027__holding, r_0014_0031__account, r_0014_0030__to_clr85).
arc(r_0014_0027__holding, z_000_14_a_uksc_judgment_74, arg0).

fof(formula,axiom,
    ! [R_14_4_HAD_AGREED,R_14_6_TO_GO,R_14_3_THEY,R_14_9_RECESS,R_14_11_THE_PERIOD,R_14_12_USUAL,R_14_13_THREE_HYPHEN_WEEK] :
      ( ( they(R_14_3_THEY)
        & recess(R_14_9_RECESS)
        & usual(R_14_12_USUAL)
        & three_hyphen_week(R_14_13_THREE_HYPHEN_WEEK)
        & had_agreed(R_14_4_HAD_AGREED,R_14_3_THEY,R_14_6_TO_GO)
        & to_go(R_14_6_TO_GO,R_14_3_THEY)
        & into_clr24(R_14_6_TO_GO,R_14_9_RECESS)
        & for_nim30(R_14_6_TO_GO,R_14_11_THE_PERIOD)
        & the_period(R_14_11_THE_PERIOD)
        & attrib33(R_14_11_THE_PERIOD,R_14_12_USUAL)
        & attrib36(R_14_11_THE_PERIOD,R_14_13_THREE_HYPHEN_WEEK) )
     => ? [R_14_17_WOULD_HAVE_BEEN,R_14_18_STILL,R_14_21_ABLE,R_14_22_TO_PERFORM,Z_14_A_UKSC_JUDGMENT_60,R_14_25_FUNCTION,R_14_16_THEY,R_14_27_HOLDING,Z_14_A_UKSC_JUDGMENT_74,R_14_28_THE_GOVERNMENT,R_14_31_ACCOUNT] :
          ( still(R_14_18_STILL)
          & they(R_14_16_THEY)
          & the_government(R_14_28_THE_GOVERNMENT)
          & account(R_14_31_ACCOUNT)
          & would_have_been(R_14_17_WOULD_HAVE_BEEN,R_14_16_THEY,R_14_21_ABLE)
          & able(R_14_21_ABLE)
          & emb60(R_14_21_ABLE,R_14_22_TO_PERFORM)
          & to_perform(R_14_22_TO_PERFORM,Z_14_A_UKSC_JUDGMENT_60,R_14_25_FUNCTION)
          & function(R_14_25_FUNCTION)
          & gen(R_14_25_FUNCTION,R_14_16_THEY)
          & of(R_14_25_FUNCTION,R_14_27_HOLDING)
          & holding(R_14_27_HOLDING,Z_14_A_UKSC_JUDGMENT_74,R_14_28_THE_GOVERNMENT)
          & to_clr85(R_14_27_HOLDING,R_14_31_ACCOUNT)
          & nim49(R_14_17_WOULD_HAVE_BEEN,R_14_18_STILL) ) ) ).

( (IP-MAT (PP-SCON (ADV Even;{even})
                   (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{PARLIAMENT} (PRO they;{they}))
                           (HVD;_cat_Ve_ had;{have})
                           (IP-PPL-CAT (VVN;_Tt_ agreed;{agree})
                                       (IP-INF-OB1 (TO to;{to})
                                                   (VB;_Ipr_ go;{go[into]})
                                                   (PP-CLR (P-ROLE into;{into})
                                                           (NP (N recess;{recess})))
                                                   (PP-NIM (P-ROLE for;{for})
                                                           (NP (D the;{the})
                                                               (ADJP (ADJ usual;{usual}))
                                                               (ADJP (ADJ three_<hyphen>_week;{three_week}))
                                                               (N period;{period})))))))
          (PUNC ,)
          (NP-SBJ;{PARLIAMENT} (PRO they;{they}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (ADVP-NIM (ADV still;{still}))
                      (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_La_ been;{be})
                                  (ADJP-PRD (ADJ;_cat_ able;{able})
                                            (IP-INF (TO to;{to})
                                                    (VB;_Tn_ perform;{perform})
                                                    (NP-OB1;{FUNCTION} (NP-GEN;{PARLIAMENT} (PRO;_genm_ their;{their}))
                                                                       (N function;{function})
                                                                       (PP (P-ROLE of;{of})
                                                                           (IP-PPL (VAG;_Tn.pr_ holding;{hold[to]})
                                                                                   (NP-OB1 (D the;{the})
                                                                                           (N government;{government}))
                                                                                   (PP-CLR (P-ROLE to;{to})
                                                                                           (NP (N account;{account}))))))))))
          (PUNC .))
  (ID 14_a_uksc_judgment))