arc(r_0037_0001__The_r_0037_0004__explanation, r_0037_0002__only, attrib5).
arc(r_0037_0001__The_r_0037_0004__explanation, r_0037_0003__conceivable, attrib8).
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_0006__that_r_0037_0012__would, r_0037_0013__be, scope).
arc(r_0037_0007__the_r_0037_0009__reasons, r_0037_0008__true, attrib22).
arc(r_0037_0010__if, r_0037_0006__that_r_0037_0012__would, scope).
arc(r_0037_0010__if, r_0037_0011__disclosed, restriction).
arc(r_0037_0011__disclosed, r_0037_0007__the_r_0037_0009__reasons, arg1).
arc(r_0037_0011__disclosed, z_000_37_a_major_case_31, arg0).
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_000_37_A_MAJOR_CASE_31] :
          ( ( r_0037_0008__true(R_0037_0008__TRUE)
            & z_000_37_a_major_case_31(Z_000_37_A_MAJOR_CASE_31)
            & r_0037_0011__disclosed(R_0037_0011__DISCLOSED)
            & has_arg0(R_0037_0011__DISCLOSED,Z_000_37_A_MAJOR_CASE_31)
            & 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_attrib22(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_0006__THAT_R_0037_0012__WOULD_R_0037_0013__BE] :
              ( r_0037_0016__his(R_0037_0016__HIS)
              & r_0037_0006__that_r_0037_0012__would_r_0037_0013__be(R_0037_0006__THAT_R_0037_0012__WOULD_R_0037_0013__BE)
              & has_prd(R_0037_0006__THAT_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_0006__THAT_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_attrib8(R_0037_0001__THE_R_0037_0004__EXPLANATION,R_0037_0003__CONCEIVABLE)
      & has_attrib5(R_0037_0001__THE_R_0037_0004__EXPLANATION,R_0037_0002__ONLY) ) ).

( (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-PPL2 (NP-LGS *)
                                                (VVN;_Tn_ 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))