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-

arc(utterance_19_a_major_case_9, r_0019_0005__If, part1).
arc(r_0019_0002__answered, utterance_19_a_major_case_9, arg1).
arc(r_0019_0002__answered, r_0019_0001__He, arg0).
arc(r_0019_0005__If, r_0019_0007__were, restriction).
arc(r_0019_0005__If, z_000_19_a_major_case_41, 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_clr53).
arc(r_0019_0017__know, r_0019_0014__I, arg0).
arc(r_0019_0021__would, r_0019_0020__so, nim58).
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_0014__I, arg0).
arc(r_0019_0023__be, r_0019_0024__able, prd).
arc(r_0019_0024__able, r_0019_0025__to_r_0019_0026__tell, emb71).
arc(r_0019_0025__to_r_0019_0026__tell, r_0019_0027__the_r_0019_0028__hon_dot__r_0019_0029__Gentleman, arg2).
arc(r_0019_0025__to_r_0019_0026__tell, r_0019_0030__whether_r_0019_0032__had, arg1).
arc(r_0019_0025__to_r_0019_0026__tell, z_000_19_a_major_case_71, arg0).
arc(r_0019_0030__whether_r_0019_0032__had, r_0019_0033__happened, scope).
arc(r_0019_0033__happened, r_0019_0010__discussions, arg0).
arc(z_000_19_a_major_case_41, r_0019_0016__not, conj1).
arc(z_000_19_a_major_case_41, r_0019_0022__not, conj2).

fof(formula,axiom,
    ? [UTTERANCE_19_A_MAJOR_CASE_9,R_0019_0001__HE,R_0019_0002__ANSWERED] :
      ( r_0019_0001__He(R_0019_0001__HE)
      & r_0019_0002__answered(R_0019_0002__ANSWERED)
      & has_arg0(R_0019_0002__ANSWERED,R_0019_0001__HE)
      & has_arg1(R_0019_0002__ANSWERED,UTTERANCE_19_A_MAJOR_CASE_9)
      & utterance_19_a_major_case_9(UTTERANCE_19_A_MAJOR_CASE_9)
      & ! [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_000_19_A_MAJOR_CASE_41] :
              ( z_000_19_a_major_case_41(Z_000_19_A_MAJOR_CASE_41)
              & has_conj2(Z_000_19_A_MAJOR_CASE_41,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_0030__WHETHER_R_0019_0032__HAD_R_0019_0033__HAPPENED,Z_000_19_A_MAJOR_CASE_71,R_0019_0025__TO_R_0019_0026__TELL,R_0019_0024__ABLE,R_0019_0021__WOULD_R_0019_0023__BE] :
                    ( 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)
                    & z_000_19_a_major_case_71(Z_000_19_A_MAJOR_CASE_71)
                    & r_0019_0021__would_r_0019_0023__be(R_0019_0021__WOULD_R_0019_0023__BE)
                    & has_prd(R_0019_0021__WOULD_R_0019_0023__BE,R_0019_0024__ABLE)
                    & r_0019_0024__able(R_0019_0024__ABLE)
                    & has_emb71(R_0019_0024__ABLE,R_0019_0025__TO_R_0019_0026__TELL)
                    & r_0019_0025__to_r_0019_0026__tell(R_0019_0025__TO_R_0019_0026__TELL)
                    & has_arg0(R_0019_0025__TO_R_0019_0026__TELL,Z_000_19_A_MAJOR_CASE_71)
                    & has_arg1(R_0019_0025__TO_R_0019_0026__TELL,R_0019_0030__WHETHER_R_0019_0032__HAD_R_0019_0033__HAPPENED)
                    & r_0019_0030__whether_r_0019_0032__had_r_0019_0033__happened(R_0019_0030__WHETHER_R_0019_0032__HAD_R_0019_0033__HAPPENED)
                    & has_arg0(R_0019_0030__WHETHER_R_0019_0032__HAD_R_0019_0033__HAPPENED,R_0019_0010__DISCUSSIONS)
                    & has_arg2(R_0019_0025__TO_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_0014__I)
                    & has_nim58(R_0019_0021__WOULD_R_0019_0023__BE,R_0019_0020__SO) )
              & has_conj1(Z_000_19_A_MAJOR_CASE_41,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_clr53(R_0019_0015__WOULD_R_0019_0017__KNOW,R_0019_0010__DISCUSSIONS) ) ) ) ) ).

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