TSPC 37_a_major

37_a_major_case
The only conceivable explanation is that the true reasons if disclosed would be adverse to his case.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ only;{only}))
                  (ADJP (ADJ conceivable;{conceivable}))
                  (N explanation;{explanation}))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ (D the;{the})
                                      (ADJP (ADJ true;{true}))
                                      (NS reasons;{reason}))
                              (PP-SCON (P-CONN if;{if})
                                       (IP-PPL (NP-LGS *)
                                               (VVN;__ disclosed;{disclose})))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (BE;_La_ be;{be})
                                          (ADJP-PRD (ADJ adverse;{adverse})
                                                    (PP (P-ROLE to;{to})
                                                        (NP (NP-GEN;{JOHNSON} (PRO;_genm_ his;{his}))
                                                            (N case;{case})))))))
          (PUNC .))
  (ID 37_a_major_case))

arc(r_0037_0001__The_r_0037_0004__explanation,r_0037_0002__only,attrib).
arc(r_0037_0001__The_r_0037_0004__explanation,r_0037_0003__conceivable,attrib).
arc(r_0037_0005__is,r_0037_0001__The_r_0037_0004__explanation,arg0).
arc(r_0037_0005__is,r_0037_0010__if,prd).
arc(r_0037_0007__the_r_0037_0009__reasons,r_0037_0008__true,attrib).
arc(r_0037_0010__if,r_0037_0011__disclosed,restriction).
arc(r_0037_0010__if,r_0037_0012__would,scope).
arc(r_0037_0011__disclosed,r_0037_0007__the_r_0037_0009__reasons,arg1).
arc(r_0037_0011__disclosed,z_0037_5008___star_,arg0).
arc(r_0037_0012__would,r_0037_0013__be,scope).
arc(r_0037_0013__be,r_0037_0007__the_r_0037_0009__reasons,arg0).
arc(r_0037_0013__be,r_0037_0014__adverse,prd).
arc(r_0037_0014__adverse,r_0037_0017__case,r_0037_0015__to).
arc(r_0037_0017__case,r_0037_0016__his,gen).

fof(formula,axiom,
    ? [R_0037_0002__ONLY,R_0037_0003__CONCEIVABLE,R_0037_0001__THE_R_0037_0004__EXPLANATION,R_0037_0005__IS] :
      ( r_0037_0002__only(R_0037_0002__ONLY)
      & r_0037_0003__conceivable(R_0037_0003__CONCEIVABLE)
      & r_0037_0005__is(R_0037_0005__IS)
      & ! [R_0037_0011__DISCLOSED,R_0037_0008__TRUE,R_0037_0007__THE_R_0037_0009__REASONS,Z_0037_5008___STAR_] :
          ( ( r_0037_0008__true(R_0037_0008__TRUE)
            & z_0037_5008___star_(Z_0037_5008___STAR_)
            & r_0037_0011__disclosed(R_0037_0011__DISCLOSED)
            & has_arg0(R_0037_0011__DISCLOSED,Z_0037_5008___STAR_)
            & has_arg1(R_0037_0011__DISCLOSED,R_0037_0007__THE_R_0037_0009__REASONS)
            & r_0037_0007__the_r_0037_0009__reasons(R_0037_0007__THE_R_0037_0009__REASONS)
            & has_attrib(R_0037_0007__THE_R_0037_0009__REASONS,R_0037_0008__TRUE) )
         => ? [R_0037_0016__HIS,R_0037_0017__CASE,R_0037_0014__ADVERSE,R_0037_0012__WOULD_R_0037_0013__BE] :
              ( r_0037_0016__his(R_0037_0016__HIS)
              & r_0037_0012__would_r_0037_0013__be(R_0037_0012__WOULD_R_0037_0013__BE)
              & has_prd(R_0037_0012__WOULD_R_0037_0013__BE,R_0037_0014__ADVERSE)
              & r_0037_0014__adverse(R_0037_0014__ADVERSE)
              & has_r_0037_0015__to(R_0037_0014__ADVERSE,R_0037_0017__CASE)
              & r_0037_0017__case(R_0037_0017__CASE)
              & has_gen(R_0037_0017__CASE,R_0037_0016__HIS)
              & has_arg0(R_0037_0012__WOULD_R_0037_0013__BE,R_0037_0007__THE_R_0037_0009__REASONS) ) )
      & has_arg0(R_0037_0005__IS,R_0037_0001__THE_R_0037_0004__EXPLANATION)
      & r_0037_0001__The_r_0037_0004__explanation(R_0037_0001__THE_R_0037_0004__EXPLANATION)
      & has_attrib(R_0037_0001__THE_R_0037_0004__EXPLANATION,R_0037_0003__CONCEIVABLE)
      & has_attrib(R_0037_0001__THE_R_0037_0004__EXPLANATION,R_0037_0002__ONLY) ) ).