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.

n14_a_uksc_judgment n14_a_uksc_judgment__1_1_1_1_1 Even n14_a_uksc_judgment__1_1_2_1 if n14_a_uksc_judgment__1_1_3_1_1_1 they n14_a_uksc_judgment__1_1_3_2_1 had n14_a_uksc_judgment__1_1_3_3_1_1 agreed n14_a_uksc_judgment__1_1_3_3_2_1_1 to n14_a_uksc_judgment__1_1_3_3_2_2_1 go n14_a_uksc_judgment__1_1_3_3_2_3_1_1 into n14_a_uksc_judgment__1_1_3_3_2_3_2_1_1 recess n14_a_uksc_judgment__1_1_3_3_2_4_1_1 for n14_a_uksc_judgment__1_1_3_3_2_4_2_1_1 the n14_a_uksc_judgment__1_1_3_3_2_4_2_2_1_1 usual n14_a_uksc_judgment__1_1_3_3_2_4_2_3_1_1 three-week n14_a_uksc_judgment__1_1_3_3_2_4_2_4_1 period n14_a_uksc_judgment__1_2_1 , n14_a_uksc_judgment__1_3_1_1 they n14_a_uksc_judgment__1_4_1 would n14_a_uksc_judgment__1_5_1_1_1 still n14_a_uksc_judgment__1_5_2_1 have n14_a_uksc_judgment__1_5_3_1_1 been n14_a_uksc_judgment__1_5_3_2_1_1 able n14_a_uksc_judgment__1_5_3_2_2_1_1 to n14_a_uksc_judgment__1_5_3_2_2_2_1 perform n14_a_uksc_judgment__1_5_3_2_2_3_1_1_1 their n14_a_uksc_judgment__1_5_3_2_2_3_2_1 function n14_a_uksc_judgment__1_5_3_2_2_3_3_1_1 of n14_a_uksc_judgment__1_5_3_2_2_3_3_2_1_1 holding n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_1_1 the n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_2_1 government n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_1_1 to n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_2_1_1 account n14_a_uksc_judgment__1_6_1 . n14_a_uksc_judgment__1 IP-MAT n14_a_uksc_judgment__1_1 PP-SCON n14_a_uksc_judgment__1->n14_a_uksc_judgment__1_1 n14_a_uksc_judgment__1_2 PUNC n14_a_uksc_judgment__1->n14_a_uksc_judgment__1_2 n14_a_uksc_judgment__1_3 NP-SBJ n14_a_uksc_judgment__1->n14_a_uksc_judgment__1_3 n14_a_uksc_judgment__1_4 MD;_cat_Vi_ n14_a_uksc_judgment__1->n14_a_uksc_judgment__1_4 n14_a_uksc_judgment__1_5 IP-INF-CAT n14_a_uksc_judgment__1->n14_a_uksc_judgment__1_5 n14_a_uksc_judgment__1_6 PUNC n14_a_uksc_judgment__1->n14_a_uksc_judgment__1_6 n14_a_uksc_judgment__1_1_1 ADVP-NIM n14_a_uksc_judgment__1_1->n14_a_uksc_judgment__1_1_1 n14_a_uksc_judgment__1_1_2 P-CONN n14_a_uksc_judgment__1_1->n14_a_uksc_judgment__1_1_2 n14_a_uksc_judgment__1_1_3 IP-ADV n14_a_uksc_judgment__1_1->n14_a_uksc_judgment__1_1_3 n14_a_uksc_judgment__1_1_1_1 ADV n14_a_uksc_judgment__1_1_1->n14_a_uksc_judgment__1_1_1_1 n14_a_uksc_judgment__1_1_1_1->n14_a_uksc_judgment__1_1_1_1_1 n14_a_uksc_judgment__1_1_2->n14_a_uksc_judgment__1_1_2_1 n14_a_uksc_judgment__1_1_3_1 NP-SBJ n14_a_uksc_judgment__1_1_3->n14_a_uksc_judgment__1_1_3_1 n14_a_uksc_judgment__1_1_3_2 HVD;_cat_Ve_ n14_a_uksc_judgment__1_1_3->n14_a_uksc_judgment__1_1_3_2 n14_a_uksc_judgment__1_1_3_3 IP-PPL-CAT n14_a_uksc_judgment__1_1_3->n14_a_uksc_judgment__1_1_3_3 n14_a_uksc_judgment__1_1_3_1_1 PRO n14_a_uksc_judgment__1_1_3_1->n14_a_uksc_judgment__1_1_3_1_1 n14_a_uksc_judgment__1_1_3_1_1->n14_a_uksc_judgment__1_1_3_1_1_1 n14_a_uksc_judgment__1_1_3_2->n14_a_uksc_judgment__1_1_3_2_1 n14_a_uksc_judgment__1_1_3_3_1 VVN;_Tt_ n14_a_uksc_judgment__1_1_3_3->n14_a_uksc_judgment__1_1_3_3_1 n14_a_uksc_judgment__1_1_3_3_2 IP-INF-OB1 n14_a_uksc_judgment__1_1_3_3->n14_a_uksc_judgment__1_1_3_3_2 n14_a_uksc_judgment__1_1_3_3_1->n14_a_uksc_judgment__1_1_3_3_1_1 n14_a_uksc_judgment__1_1_3_3_2_1 TO n14_a_uksc_judgment__1_1_3_3_2->n14_a_uksc_judgment__1_1_3_3_2_1 n14_a_uksc_judgment__1_1_3_3_2_2 VB;_Ipr_ n14_a_uksc_judgment__1_1_3_3_2->n14_a_uksc_judgment__1_1_3_3_2_2 n14_a_uksc_judgment__1_1_3_3_2_3 PP-CLR n14_a_uksc_judgment__1_1_3_3_2->n14_a_uksc_judgment__1_1_3_3_2_3 n14_a_uksc_judgment__1_1_3_3_2_4 PP-NIM n14_a_uksc_judgment__1_1_3_3_2->n14_a_uksc_judgment__1_1_3_3_2_4 n14_a_uksc_judgment__1_1_3_3_2_1->n14_a_uksc_judgment__1_1_3_3_2_1_1 n14_a_uksc_judgment__1_1_3_3_2_2->n14_a_uksc_judgment__1_1_3_3_2_2_1 n14_a_uksc_judgment__1_1_3_3_2_3_1 P-ROLE n14_a_uksc_judgment__1_1_3_3_2_3->n14_a_uksc_judgment__1_1_3_3_2_3_1 n14_a_uksc_judgment__1_1_3_3_2_3_2 NP n14_a_uksc_judgment__1_1_3_3_2_3->n14_a_uksc_judgment__1_1_3_3_2_3_2 n14_a_uksc_judgment__1_1_3_3_2_3_1->n14_a_uksc_judgment__1_1_3_3_2_3_1_1 n14_a_uksc_judgment__1_1_3_3_2_3_2_1 N n14_a_uksc_judgment__1_1_3_3_2_3_2->n14_a_uksc_judgment__1_1_3_3_2_3_2_1 n14_a_uksc_judgment__1_1_3_3_2_3_2_1->n14_a_uksc_judgment__1_1_3_3_2_3_2_1_1 n14_a_uksc_judgment__1_1_3_3_2_4_1 P-ROLE n14_a_uksc_judgment__1_1_3_3_2_4->n14_a_uksc_judgment__1_1_3_3_2_4_1 n14_a_uksc_judgment__1_1_3_3_2_4_2 NP n14_a_uksc_judgment__1_1_3_3_2_4->n14_a_uksc_judgment__1_1_3_3_2_4_2 n14_a_uksc_judgment__1_1_3_3_2_4_1->n14_a_uksc_judgment__1_1_3_3_2_4_1_1 n14_a_uksc_judgment__1_1_3_3_2_4_2_1 D n14_a_uksc_judgment__1_1_3_3_2_4_2->n14_a_uksc_judgment__1_1_3_3_2_4_2_1 n14_a_uksc_judgment__1_1_3_3_2_4_2_2 ADJP n14_a_uksc_judgment__1_1_3_3_2_4_2->n14_a_uksc_judgment__1_1_3_3_2_4_2_2 n14_a_uksc_judgment__1_1_3_3_2_4_2_3 ADJP n14_a_uksc_judgment__1_1_3_3_2_4_2->n14_a_uksc_judgment__1_1_3_3_2_4_2_3 n14_a_uksc_judgment__1_1_3_3_2_4_2_4 N n14_a_uksc_judgment__1_1_3_3_2_4_2->n14_a_uksc_judgment__1_1_3_3_2_4_2_4 n14_a_uksc_judgment__1_1_3_3_2_4_2_1->n14_a_uksc_judgment__1_1_3_3_2_4_2_1_1 n14_a_uksc_judgment__1_1_3_3_2_4_2_2_1 ADJ n14_a_uksc_judgment__1_1_3_3_2_4_2_2->n14_a_uksc_judgment__1_1_3_3_2_4_2_2_1 n14_a_uksc_judgment__1_1_3_3_2_4_2_2_1->n14_a_uksc_judgment__1_1_3_3_2_4_2_2_1_1 n14_a_uksc_judgment__1_1_3_3_2_4_2_3_1 ADJ n14_a_uksc_judgment__1_1_3_3_2_4_2_3->n14_a_uksc_judgment__1_1_3_3_2_4_2_3_1 n14_a_uksc_judgment__1_1_3_3_2_4_2_3_1->n14_a_uksc_judgment__1_1_3_3_2_4_2_3_1_1 n14_a_uksc_judgment__1_1_3_3_2_4_2_4->n14_a_uksc_judgment__1_1_3_3_2_4_2_4_1 n14_a_uksc_judgment__1_2->n14_a_uksc_judgment__1_2_1 n14_a_uksc_judgment__1_3_1 PRO n14_a_uksc_judgment__1_3->n14_a_uksc_judgment__1_3_1 n14_a_uksc_judgment__1_3_1->n14_a_uksc_judgment__1_3_1_1 n14_a_uksc_judgment__1_4->n14_a_uksc_judgment__1_4_1 n14_a_uksc_judgment__1_5_1 ADVP-NIM n14_a_uksc_judgment__1_5->n14_a_uksc_judgment__1_5_1 n14_a_uksc_judgment__1_5_2 HV;_cat_Ve_ n14_a_uksc_judgment__1_5->n14_a_uksc_judgment__1_5_2 n14_a_uksc_judgment__1_5_3 IP-PPL-CAT n14_a_uksc_judgment__1_5->n14_a_uksc_judgment__1_5_3 n14_a_uksc_judgment__1_5_1_1 ADV n14_a_uksc_judgment__1_5_1->n14_a_uksc_judgment__1_5_1_1 n14_a_uksc_judgment__1_5_1_1->n14_a_uksc_judgment__1_5_1_1_1 n14_a_uksc_judgment__1_5_2->n14_a_uksc_judgment__1_5_2_1 n14_a_uksc_judgment__1_5_3_1 BEN;_La_ n14_a_uksc_judgment__1_5_3->n14_a_uksc_judgment__1_5_3_1 n14_a_uksc_judgment__1_5_3_2 ADJP-PRD n14_a_uksc_judgment__1_5_3->n14_a_uksc_judgment__1_5_3_2 n14_a_uksc_judgment__1_5_3_1->n14_a_uksc_judgment__1_5_3_1_1 n14_a_uksc_judgment__1_5_3_2_1 ADJ;_cat_ n14_a_uksc_judgment__1_5_3_2->n14_a_uksc_judgment__1_5_3_2_1 n14_a_uksc_judgment__1_5_3_2_2 IP-INF n14_a_uksc_judgment__1_5_3_2->n14_a_uksc_judgment__1_5_3_2_2 n14_a_uksc_judgment__1_5_3_2_1->n14_a_uksc_judgment__1_5_3_2_1_1 n14_a_uksc_judgment__1_5_3_2_2_1 TO n14_a_uksc_judgment__1_5_3_2_2->n14_a_uksc_judgment__1_5_3_2_2_1 n14_a_uksc_judgment__1_5_3_2_2_2 VB;_Tn_ n14_a_uksc_judgment__1_5_3_2_2->n14_a_uksc_judgment__1_5_3_2_2_2 n14_a_uksc_judgment__1_5_3_2_2_3 NP-OB1 n14_a_uksc_judgment__1_5_3_2_2->n14_a_uksc_judgment__1_5_3_2_2_3 n14_a_uksc_judgment__1_5_3_2_2_1->n14_a_uksc_judgment__1_5_3_2_2_1_1 n14_a_uksc_judgment__1_5_3_2_2_2->n14_a_uksc_judgment__1_5_3_2_2_2_1 n14_a_uksc_judgment__1_5_3_2_2_3_1 NP-GEN n14_a_uksc_judgment__1_5_3_2_2_3->n14_a_uksc_judgment__1_5_3_2_2_3_1 n14_a_uksc_judgment__1_5_3_2_2_3_2 N n14_a_uksc_judgment__1_5_3_2_2_3->n14_a_uksc_judgment__1_5_3_2_2_3_2 n14_a_uksc_judgment__1_5_3_2_2_3_3 PP n14_a_uksc_judgment__1_5_3_2_2_3->n14_a_uksc_judgment__1_5_3_2_2_3_3 n14_a_uksc_judgment__1_5_3_2_2_3_1_1 PRO;_genm_ n14_a_uksc_judgment__1_5_3_2_2_3_1->n14_a_uksc_judgment__1_5_3_2_2_3_1_1 n14_a_uksc_judgment__1_5_3_2_2_3_1_1->n14_a_uksc_judgment__1_5_3_2_2_3_1_1_1 n14_a_uksc_judgment__1_5_3_2_2_3_2->n14_a_uksc_judgment__1_5_3_2_2_3_2_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_1 P-ROLE n14_a_uksc_judgment__1_5_3_2_2_3_3->n14_a_uksc_judgment__1_5_3_2_2_3_3_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2 IP-PPL n14_a_uksc_judgment__1_5_3_2_2_3_3->n14_a_uksc_judgment__1_5_3_2_2_3_3_2 n14_a_uksc_judgment__1_5_3_2_2_3_3_1->n14_a_uksc_judgment__1_5_3_2_2_3_3_1_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_1 VAG;_Tn.pr_ n14_a_uksc_judgment__1_5_3_2_2_3_3_2->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2 NP-OB1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3 PP-CLR n14_a_uksc_judgment__1_5_3_2_2_3_3_2->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_1->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_1_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_1 D n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_2 N n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_2 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_1->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_1_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_2->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_2_2_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_1 P-ROLE n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_2 NP n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_2 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_1->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_1_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_2_1 N n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_2->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_2_1 n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_2_1->n14_a_uksc_judgment__1_5_3_2_2_3_3_2_3_2_1_1 n14_a_uksc_judgment__1_6->n14_a_uksc_judgment__1_6_1
( (IP-MAT (PP-SCON (ADVP-NIM (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))



%3 r_0014_0027__holding_r_0014_0030__to holding to z_0014_5021 r_0014_0027__holding_r_0014_0030__to->z_0014_5021 [arg0] r_0014_0031__account account r_0014_0027__holding_r_0014_0030__to->r_0014_0031__account [arg2] r_0014_0028__the_r_0014_0029__government the government r_0014_0027__holding_r_0014_0030__to->r_0014_0028__the_r_0014_0029__government [arg1] r_0014_0025__function function r_0014_0025__function->r_0014_0027__holding_r_0014_0030__to of r_0014_0003__they they r_0014_0025__function->r_0014_0003__they [gen] r_0014_0023__perform perform r_0014_0023__perform->r_0014_0025__function [arg1] r_0014_0023__perform->r_0014_0003__they [arg0] r_0014_0021__able able r_0014_0021__able->r_0014_0023__perform [scope] r_0014_0020__been been r_0014_0020__been->r_0014_0021__able [scope] r_0014_0019__have have r_0014_0019__have->r_0014_0020__been [scope] r_0014_0018__still still r_0014_0019__have->r_0014_0018__still [nim] r_0014_0017__would would r_0014_0017__would->r_0014_0019__have [scope] r_0014_0011__the_r_0014_0014__period the period r_0014_0013__three__hyphen__week three-week r_0014_0011__the_r_0014_0014__period->r_0014_0013__three__hyphen__week [attrib] r_0014_0012__usual usual r_0014_0011__the_r_0014_0014__period->r_0014_0012__usual [attrib] r_0014_0007__go_r_0014_0008__into go into r_0014_0007__go_r_0014_0008__into->r_0014_0003__they [arg0] r_0014_0007__go_r_0014_0008__into->r_0014_0011__the_r_0014_0014__period for [nim] r_0014_0009__recess recess r_0014_0007__go_r_0014_0008__into->r_0014_0009__recess [arg1] r_0014_0005__agreed agreed r_0014_0005__agreed->r_0014_0003__they [arg0] r_0014_0005__agreed->r_0014_0007__go_r_0014_0008__into [arg1] r_0014_0004__had had r_0014_0004__had->r_0014_0005__agreed [scope] r_0014_0001__Even_r_0014_0002__if Even if r_0014_0001__Even_r_0014_0002__if->r_0014_0017__would [scope] r_0014_0001__Even_r_0014_0002__if->r_0014_0004__had [restriction]
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_0007__go_r_0014_0008__into,arg1).
arc(r_0014_0007__go_r_0014_0008__into,r_0014_0003__they,arg0).
arc(r_0014_0007__go_r_0014_0008__into,r_0014_0009__recess,arg1).
arc(r_0014_0007__go_r_0014_0008__into,r_0014_0011__the_r_0014_0014__period,r_0014_0010__for__nim).
arc(r_0014_0011__the_r_0014_0014__period,r_0014_0012__usual,attrib).
arc(r_0014_0011__the_r_0014_0014__period,r_0014_0013__three__hyphen__week,attrib).
arc(r_0014_0017__would,r_0014_0019__have,scope).
arc(r_0014_0019__have,r_0014_0018__still,nim).
arc(r_0014_0019__have,r_0014_0020__been,scope).
arc(r_0014_0020__been,r_0014_0021__able,scope).
arc(r_0014_0021__able,r_0014_0023__perform,scope).
arc(r_0014_0023__perform,r_0014_0003__they,arg0).
arc(r_0014_0023__perform,r_0014_0025__function,arg1).
arc(r_0014_0025__function,r_0014_0003__they,gen).
arc(r_0014_0025__function,r_0014_0027__holding_r_0014_0030__to,r_0014_0026__of).
arc(r_0014_0027__holding_r_0014_0030__to,r_0014_0028__the_r_0014_0029__government,arg1).
arc(r_0014_0027__holding_r_0014_0030__to,r_0014_0031__account,arg2).
arc(r_0014_0027__holding_r_0014_0030__to,z_0014_5021,arg0).



%3 r_0014_0001__Even_r_0014_0002__if Even if r_0014_0004__had_r_0014_0005__agreed had agreed r_0014_0001__Even_r_0014_0002__if->r_0014_0004__had_r_0014_0005__agreed [restriction] r_0014_0017__would_r_0014_0019__have_r_0014_0020__been_r_0014_0021__able_r_0014_0023__perform would have been able perform r_0014_0001__Even_r_0014_0002__if->r_0014_0017__would_r_0014_0019__have_r_0014_0020__been_r_0014_0021__able_r_0014_0023__perform [scope] r_0014_0003__they they r_0014_0004__had_r_0014_0005__agreed->r_0014_0003__they [arg0] r_0014_0007__go_r_0014_0008__into go into r_0014_0004__had_r_0014_0005__agreed->r_0014_0007__go_r_0014_0008__into [arg1] r_0014_0017__would_r_0014_0019__have_r_0014_0020__been_r_0014_0021__able_r_0014_0023__perform->r_0014_0003__they [arg0] r_0014_0018__still still r_0014_0017__would_r_0014_0019__have_r_0014_0020__been_r_0014_0021__able_r_0014_0023__perform->r_0014_0018__still [nim] r_0014_0025__function function r_0014_0017__would_r_0014_0019__have_r_0014_0020__been_r_0014_0021__able_r_0014_0023__perform->r_0014_0025__function [arg1] r_0014_0007__go_r_0014_0008__into->r_0014_0003__they [arg0] r_0014_0009__recess recess r_0014_0007__go_r_0014_0008__into->r_0014_0009__recess [arg1] r_0014_0011__the_r_0014_0014__period the period r_0014_0007__go_r_0014_0008__into->r_0014_0011__the_r_0014_0014__period for [nim] r_0014_0012__usual usual r_0014_0011__the_r_0014_0014__period->r_0014_0012__usual [attrib] r_0014_0013__three__hyphen__week three-week r_0014_0011__the_r_0014_0014__period->r_0014_0013__three__hyphen__week [attrib] r_0014_0025__function->r_0014_0003__they [gen] r_0014_0027__holding_r_0014_0030__to holding to r_0014_0025__function->r_0014_0027__holding_r_0014_0030__to of r_0014_0028__the_r_0014_0029__government the government r_0014_0027__holding_r_0014_0030__to->r_0014_0028__the_r_0014_0029__government [arg1] r_0014_0031__account account r_0014_0027__holding_r_0014_0030__to->r_0014_0031__account [arg2] z_0014_5021 r_0014_0027__holding_r_0014_0030__to->z_0014_5021 [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_0007__GO_R_0014_0008__INTO] :
      ( ( 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_0007__GO_R_0014_0008__INTO)
        & r_0014_0007__go_r_0014_0008__into(R_0014_0007__GO_R_0014_0008__INTO)
        & has_r_0014_0010__for__nim(R_0014_0007__GO_R_0014_0008__INTO,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_attrib(R_0014_0011__THE_R_0014_0014__PERIOD,R_0014_0013__THREE__HYPHEN__WEEK)
        & has_attrib(R_0014_0011__THE_R_0014_0014__PERIOD,R_0014_0012__USUAL)
        & has_arg1(R_0014_0007__GO_R_0014_0008__INTO,R_0014_0009__RECESS)
        & has_arg0(R_0014_0007__GO_R_0014_0008__INTO,R_0014_0003__THEY)
        & has_arg0(R_0014_0004__HAD_R_0014_0005__AGREED,R_0014_0003__THEY) )
     => ? [R_0014_0018__STILL,R_0014_0028__THE_R_0014_0029__GOVERNMENT,R_0014_0031__ACCOUNT,Z_0014_5021,R_0014_0027__HOLDING_R_0014_0030__TO,R_0014_0025__FUNCTION,R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN_R_0014_0021__ABLE_R_0014_0023__PERFORM] :
          ( 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_0014_5021(Z_0014_5021)
          & r_0014_0017__would_r_0014_0019__have_r_0014_0020__been_r_0014_0021__able_r_0014_0023__perform(R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN_R_0014_0021__ABLE_R_0014_0023__PERFORM)
          & has_arg1(R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN_R_0014_0021__ABLE_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_0030__TO)
          & r_0014_0027__holding_r_0014_0030__to(R_0014_0027__HOLDING_R_0014_0030__TO)
          & has_arg0(R_0014_0027__HOLDING_R_0014_0030__TO,Z_0014_5021)
          & has_arg2(R_0014_0027__HOLDING_R_0014_0030__TO,R_0014_0031__ACCOUNT)
          & has_arg1(R_0014_0027__HOLDING_R_0014_0030__TO,R_0014_0028__THE_R_0014_0029__GOVERNMENT)
          & has_gen(R_0014_0025__FUNCTION,R_0014_0003__THEY)
          & has_arg0(R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN_R_0014_0021__ABLE_R_0014_0023__PERFORM,R_0014_0003__THEY)
          & has_nim(R_0014_0017__WOULD_R_0014_0019__HAVE_R_0014_0020__BEEN_R_0014_0021__ABLE_R_0014_0023__PERFORM,R_0014_0018__STILL) ) ) ).