TSPC 19_a_major

19_a_major_case
He answered: “If people were carrying out discussions without candour, I would not know about them so would not be able to tell the hon. Gentleman whether they had happened.” -LCB- HC Deb Vol 664 col 91 -RCB-

( (IP-MAT (NP-SBJ;{HOUSE_LEADER} (PRO He;{he}))
          (VBD;_Tr_ answered;{answer})
          (PUNC :)
          (utterance-OB1 (IP-MAT (PULQ <ldquo>)
                                 (PP-SCON (P-CONN If;{if})
                                          (IP-ADV (NP-SBJ (NS people;{people}))
                                                  (BED;_cat_Vg_ were;{be})
                                                  (IP-PPL-CAT (VAG;__ carrying;{carry})
                                                              (RP out;{out})
                                                              (NP-OB1;{DISCUSSIONS} (NS discussions;{discussion})
                                                                                    (PP (P-ROLE without;{without})
                                                                                        (NP (N candour;{candour})))))))
                                 (PUNC ,)
                                 (NP-SBJ (PRO I;{I}))
                                 (ILYR (ILYR (MD;_cat_Vi_ would;{will})
                                             (NEG not;{not})
                                             (IP-INF-CAT (VB;__ know;{know})
                                                         (PP-CLR (P-ROLE about;{about})
                                                                 (NP;{DISCUSSIONS} (PRO them;{they})))))
                                       (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                                                    (MD;_cat_Vi_ would;{will})
                                                    (NEG not;{not})
                                                    (IP-INF-CAT (BE;_La_ be;{be})
                                                                (ADJP-PRD (ADJ;_cat_ able;{able})
                                                                          (IP-INF (TO to;{to})
                                                                                  (VB;_Dn.w_ tell;{tell})
                                                                                  (NP-OB2 (D the;{the})
                                                                                          (NPR hon<dot>)
                                                                                          (NPR Gentleman;{Gentleman}))
                                                                                  (CP-QUE-OB1 (IP-SUB (WQ whether;{whether})
                                                                                                      (NP-SBJ;{DISCUSSIONS} (PRO they;{they}))
                                                                                                      (HVD;_cat_Ve_ had;{have})
                                                                                                      (IP-PPL-CAT (VVN;__ happened;{happen}))))))))))
                                 (PUNC .)
                                 (PURQ <rdquo>)
                                 (META (PULB -LCB-)
                                       (NP (N HC;{hc})
                                           (N Deb;{deb})
                                           (N Vol;{vol})
                                           (NUM 664)
                                           (N col;{col})
                                           (NUM 91))
                                       (PURB -RCB-)))))
  (ID 19_a_major_case))

arc(r_0019_0002__answered,r_0019_0001__He,arg0).
arc(r_0019_0002__answered,z_0019_5002__utterance,arg1).
arc(r_0019_0005__If,r_0019_0007__were,restriction).
arc(r_0019_0005__If,z_0019_5010,scope).
arc(r_0019_0007__were,r_0019_0008__carrying_r_0019_0009__out,scope).
arc(r_0019_0008__carrying_r_0019_0009__out,r_0019_0006__people,arg0).
arc(r_0019_0008__carrying_r_0019_0009__out,r_0019_0010__discussions,arg1).
arc(r_0019_0010__discussions,r_0019_0012__candour,r_0019_0011__without).
arc(r_0019_0015__would,r_0019_0017__know,scope).
arc(r_0019_0016__not,r_0019_0015__would,keep_scope).
arc(r_0019_0017__know,r_0019_0010__discussions,r_0019_0018__about__clr).
arc(r_0019_0017__know,r_0019_0014__I,arg0).
arc(r_0019_0021__would,r_0019_0020__so,nim).
arc(r_0019_0021__would,r_0019_0023__be,scope).
arc(r_0019_0022__not,r_0019_0021__would,keep_scope).
arc(r_0019_0023__be,r_0019_0024__able,scope).
arc(r_0019_0024__able,r_0019_0026__tell,scope).
arc(r_0019_0026__tell,r_0019_0014__I,arg0).
arc(r_0019_0026__tell,r_0019_0027__the_r_0019_0028__hon_dot__r_0019_0029__Gentleman,arg2).
arc(r_0019_0026__tell,r_0019_0030__whether,arg1).
arc(r_0019_0030__whether,r_0019_0032__had,keep_scope).
arc(r_0019_0032__had,r_0019_0033__happened,scope).
arc(r_0019_0033__happened,r_0019_0010__discussions,arg0).
arc(z_0019_5002__utterance,r_0019_0005__If,part1).
arc(z_0019_5010,r_0019_0016__not,conj1).
arc(z_0019_5010,r_0019_0022__not,conj2).

fof(formula,axiom,
    ? [R_0019_0001__HE,Z_0019_5002__UTTERANCE,R_0019_0002__ANSWERED] :
      ( r_0019_0001__He(R_0019_0001__HE)
      & r_0019_0002__answered(R_0019_0002__ANSWERED)
      & has_arg1(R_0019_0002__ANSWERED,Z_0019_5002__UTTERANCE)
      & z_0019_5002__utterance(Z_0019_5002__UTTERANCE)
      & ! [R_0019_0007__WERE_R_0019_0008__CARRYING_R_0019_0009__OUT,R_0019_0006__PEOPLE,R_0019_0012__CANDOUR,R_0019_0010__DISCUSSIONS] :
          ( ( r_0019_0006__people(R_0019_0006__PEOPLE)
            & r_0019_0012__candour(R_0019_0012__CANDOUR)
            & r_0019_0007__were_r_0019_0008__carrying_r_0019_0009__out(R_0019_0007__WERE_R_0019_0008__CARRYING_R_0019_0009__OUT)
            & has_arg1(R_0019_0007__WERE_R_0019_0008__CARRYING_R_0019_0009__OUT,R_0019_0010__DISCUSSIONS)
            & r_0019_0010__discussions(R_0019_0010__DISCUSSIONS)
            & has_r_0019_0011__without(R_0019_0010__DISCUSSIONS,R_0019_0012__CANDOUR)
            & has_arg0(R_0019_0007__WERE_R_0019_0008__CARRYING_R_0019_0009__OUT,R_0019_0006__PEOPLE) )
         => ? [Z_0019_5010] :
              ( z_0019_5010(Z_0019_5010)
              & has_conj2(Z_0019_5010,R_0019_0022__NOT)
              & ~ ? [R_0019_0020__SO,R_0019_0014__I,R_0019_0027__THE_R_0019_0028__HON_DOT__R_0019_0029__GENTLEMAN,R_0019_0032__HAD_R_0019_0033__HAPPENED,R_0019_0030__WHETHER,R_0019_0021__WOULD_R_0019_0023__BE_R_0019_0024__ABLE_R_0019_0026__TELL] :
                    ( r_0019_0014__I(R_0019_0014__I)
                    & r_0019_0020__so(R_0019_0020__SO)
                    & r_0019_0027__the_r_0019_0028__hon_dot__r_0019_0029__Gentleman(R_0019_0027__THE_R_0019_0028__HON_DOT__R_0019_0029__GENTLEMAN)
                    & r_0019_0021__would_r_0019_0023__be_r_0019_0024__able_r_0019_0026__tell(R_0019_0021__WOULD_R_0019_0023__BE_R_0019_0024__ABLE_R_0019_0026__TELL)
                    & has_arg1(R_0019_0021__WOULD_R_0019_0023__BE_R_0019_0024__ABLE_R_0019_0026__TELL,R_0019_0030__WHETHER)
                    & r_0019_0030__whether(R_0019_0030__WHETHER)
                    & has_keep_scope(R_0019_0030__WHETHER,R_0019_0032__HAD_R_0019_0033__HAPPENED)
                    & r_0019_0032__had_r_0019_0033__happened(R_0019_0032__HAD_R_0019_0033__HAPPENED)
                    & has_arg0(R_0019_0032__HAD_R_0019_0033__HAPPENED,R_0019_0010__DISCUSSIONS)
                    & has_arg2(R_0019_0021__WOULD_R_0019_0023__BE_R_0019_0024__ABLE_R_0019_0026__TELL,R_0019_0027__THE_R_0019_0028__HON_DOT__R_0019_0029__GENTLEMAN)
                    & has_arg0(R_0019_0021__WOULD_R_0019_0023__BE_R_0019_0024__ABLE_R_0019_0026__TELL,R_0019_0014__I)
                    & has_nim(R_0019_0021__WOULD_R_0019_0023__BE_R_0019_0024__ABLE_R_0019_0026__TELL,R_0019_0020__SO) )
              & has_conj1(Z_0019_5010,R_0019_0016__NOT)
              & ~ ? [R_0019_0014__I,R_0019_0015__WOULD_R_0019_0017__KNOW] :
                    ( r_0019_0014__I(R_0019_0014__I)
                    & r_0019_0015__would_r_0019_0017__know(R_0019_0015__WOULD_R_0019_0017__KNOW)
                    & has_arg0(R_0019_0015__WOULD_R_0019_0017__KNOW,R_0019_0014__I)
                    & has_r_0019_0018__about__clr(R_0019_0015__WOULD_R_0019_0017__KNOW,R_0019_0010__DISCUSSIONS) ) ) )
      & has_arg0(R_0019_0002__ANSWERED,R_0019_0001__HE) ) ).