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_0014_0004__HAD_R_0014_0005__AGREED,R_0014_0003__THEY,R_0014_0009__RECESS,R_0014_0012__USUAL,R_0014_0013__THREE__HYPHEN__WEEK,R_0014_0011__THE_R_0014_0014__PERIOD,R_0014_0006__TO_R_0014_0007__GO] :
      ( ( r_0014_0003__they(R_0014_0003__THEY)
        & r_0014_0009__recess(R_0014_0009__RECESS)
        & r_0014_0012__usual(R_0014_0012__USUAL)
        & r_0014_0013__three__hyphen__week(R_0014_0013__THREE__HYPHEN__WEEK)
        & r_0014_0004__had_r_0014_0005__agreed(R_0014_0004__HAD_R_0014_0005__AGREED)
        & has_arg1(R_0014_0004__HAD_R_0014_0005__AGREED,R_0014_0006__TO_R_0014_0007__GO)
        & r_0014_0006__to_r_0014_0007__go(R_0014_0006__TO_R_0014_0007__GO)
        & has_r_0014_0010__for_nim30(R_0014_0006__TO_R_0014_0007__GO,R_0014_0011__THE_R_0014_0014__PERIOD)
        & r_0014_0011__the_r_0014_0014__period(R_0014_0011__THE_R_0014_0014__PERIOD)
        & has_attrib36(R_0014_0011__THE_R_0014_0014__PERIOD,R_0014_0013__THREE__HYPHEN__WEEK)
        & has_attrib33(R_0014_0011__THE_R_0014_0014__PERIOD,R_0014_0012__USUAL)
        & has_r_0014_0008__into_clr24(R_0014_0006__TO_R_0014_0007__GO,R_0014_0009__RECESS)
        & has_arg0(R_0014_0006__TO_R_0014_0007__GO,R_0014_0003__THEY)
        & has_arg0(R_0014_0004__HAD_R_0014_0005__AGREED,R_0014_0003__THEY) )
     => ? [R_0014_0018__STILL,R_0014_0016__THEY,R_0014_0028__THE_R_0014_0029__GOVERNMENT,R_0014_0031__ACCOUNT,Z_000_14_A_UKSC_JUDGMENT_74,R_0014_0027__HOLDING,R_0014_0025__FUNCTION,Z_000_14_A_UKSC_JUDGMENT_60,R_0014_0022__TO_R_0014_0023__PERFORM,R_0014_0021__ABLE,R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN] :
          ( r_0014_0016__they(R_0014_0016__THEY)
          & r_0014_0018__still(R_0014_0018__STILL)
          & r_0014_0028__the_r_0014_0029__government(R_0014_0028__THE_R_0014_0029__GOVERNMENT)
          & r_0014_0031__account(R_0014_0031__ACCOUNT)
          & z_000_14_a_uksc_judgment_60(Z_000_14_A_UKSC_JUDGMENT_60)
          & z_000_14_a_uksc_judgment_74(Z_000_14_A_UKSC_JUDGMENT_74)
          & r_0014_0017__would_r_0014_0019__have_r_0014_0020__been(R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN)
          & has_prd(R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN,R_0014_0021__ABLE)
          & r_0014_0021__able(R_0014_0021__ABLE)
          & has_emb60(R_0014_0021__ABLE,R_0014_0022__TO_R_0014_0023__PERFORM)
          & r_0014_0022__to_r_0014_0023__perform(R_0014_0022__TO_R_0014_0023__PERFORM)
          & has_arg0(R_0014_0022__TO_R_0014_0023__PERFORM,Z_000_14_A_UKSC_JUDGMENT_60)
          & has_arg1(R_0014_0022__TO_R_0014_0023__PERFORM,R_0014_0025__FUNCTION)
          & r_0014_0025__function(R_0014_0025__FUNCTION)
          & has_r_0014_0026__of(R_0014_0025__FUNCTION,R_0014_0027__HOLDING)
          & r_0014_0027__holding(R_0014_0027__HOLDING)
          & has_arg0(R_0014_0027__HOLDING,Z_000_14_A_UKSC_JUDGMENT_74)
          & has_r_0014_0030__to_clr85(R_0014_0027__HOLDING,R_0014_0031__ACCOUNT)
          & has_arg1(R_0014_0027__HOLDING,R_0014_0028__THE_R_0014_0029__GOVERNMENT)
          & has_gen(R_0014_0025__FUNCTION,R_0014_0016__THEY)
          & has_arg0(R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN,R_0014_0016__THEY)
          & has_nim49(R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN,R_0014_0018__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))