Context                Previous, Next                Top


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

%3 r_0037_0001__The_r_0037_0004__explanation The explanation r_0037_0002__only only r_0037_0001__The_r_0037_0004__explanation->r_0037_0002__only [attrib] r_0037_0003__conceivable conceivable r_0037_0001__The_r_0037_0004__explanation->r_0037_0003__conceivable [attrib] r_0037_0005__is is r_0037_0005__is->r_0037_0001__The_r_0037_0004__explanation [arg0] r_0037_0010__if if r_0037_0005__is->r_0037_0010__if [prd] r_0037_0006__that_r_0037_0012__would that would r_0037_0010__if->r_0037_0006__that_r_0037_0012__would [scope] r_0037_0011__disclosed disclosed r_0037_0010__if->r_0037_0011__disclosed [restriction] r_0037_0013__be be r_0037_0006__that_r_0037_0012__would->r_0037_0013__be [scope] r_0037_0007__the_r_0037_0009__reasons the reasons r_0037_0013__be->r_0037_0007__the_r_0037_0009__reasons [arg0] r_0037_0014__adverse adverse r_0037_0013__be->r_0037_0014__adverse [prd] r_0037_0008__true true r_0037_0007__the_r_0037_0009__reasons->r_0037_0008__true [attrib] r_0037_0011__disclosed->r_0037_0007__the_r_0037_0009__reasons [arg1] z_000_37_a_major_case_31 r_0037_0011__disclosed->z_000_37_a_major_case_31 [arg0] r_0037_0017__case case r_0037_0014__adverse->r_0037_0017__case to r_0037_0016__his his r_0037_0017__case->r_0037_0016__his [gen] 
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).


%3 r_0037_0017__case case r_0037_0016__his his r_0037_0017__case->r_0037_0016__his [gen] r_0037_0014__adverse adverse r_0037_0014__adverse->r_0037_0017__case to r_0037_0006__that_r_0037_0012__would_r_0037_0013__be that would be r_0037_0006__that_r_0037_0012__would_r_0037_0013__be->r_0037_0014__adverse [prd] r_0037_0007__the_r_0037_0009__reasons the reasons r_0037_0006__that_r_0037_0012__would_r_0037_0013__be->r_0037_0007__the_r_0037_0009__reasons [arg0] r_0037_0008__true true r_0037_0007__the_r_0037_0009__reasons->r_0037_0008__true [attrib] r_0037_0011__disclosed disclosed r_0037_0011__disclosed->r_0037_0007__the_r_0037_0009__reasons [arg1] z_000_37_a_major_case_31 r_0037_0011__disclosed->z_000_37_a_major_case_31 [arg0] r_0037_0010__if if r_0037_0010__if->r_0037_0006__that_r_0037_0012__would_r_0037_0013__be [scope] r_0037_0010__if->r_0037_0011__disclosed [restriction] r_0037_0005__is is r_0037_0005__is->r_0037_0010__if [prd] r_0037_0001__The_r_0037_0004__explanation The explanation r_0037_0005__is->r_0037_0001__The_r_0037_0004__explanation [arg0] r_0037_0003__conceivable conceivable r_0037_0001__The_r_0037_0004__explanation->r_0037_0003__conceivable [attrib] r_0037_0002__only only r_0037_0001__The_r_0037_0004__explanation->r_0037_0002__only [attrib] 
fof(formula,axiom,
    ? [R_37_5_IS,R_37_1_THE_EXPLANATION,R_37_2_ONLY,R_37_3_CONCEIVABLE] :
      ( only(R_37_2_ONLY)
      & conceivable(R_37_3_CONCEIVABLE)
      & ! [R_37_11_DISCLOSED,Z_37_A_MAJOR_CASE_31,R_37_7_THE_REASONS,R_37_8_TRUE] :
          ( ( true(R_37_8_TRUE)
            & disclosed(R_37_11_DISCLOSED,Z_37_A_MAJOR_CASE_31,R_37_7_THE_REASONS)
            & the_reasons(R_37_7_THE_REASONS)
            & attrib22(R_37_7_THE_REASONS,R_37_8_TRUE) )
         => ? [R_37_6_THAT_WOULD_BE,R_37_14_ADVERSE,R_37_17_CASE,R_37_16_HIS] :
              ( his(R_37_16_HIS)
              & that_would_be(R_37_6_THAT_WOULD_BE,R_37_7_THE_REASONS,R_37_14_ADVERSE)
              & adverse(R_37_14_ADVERSE)
              & to(R_37_14_ADVERSE,R_37_17_CASE)
              & case(R_37_17_CASE)
              & gen(R_37_17_CASE,R_37_16_HIS) ) )
      & prd(PRD)
      & is(R_37_5_IS,R_37_1_THE_EXPLANATION)
      & the_explanation(R_37_1_THE_EXPLANATION)
      & attrib5(R_37_1_THE_EXPLANATION,R_37_2_ONLY)
      & attrib8(R_37_1_THE_EXPLANATION,R_37_3_CONCEIVABLE) ) ).


n37_a_major_case n37_a_major_case__1_1_1_1 The n37_a_major_case__1_1_2_1_1 only n37_a_major_case__1_1_3_1_1 conceivable n37_a_major_case__1_1_4_1 explanation n37_a_major_case__1_2_1 is n37_a_major_case__1_3_1_1_1 that n37_a_major_case__1_3_1_2_1_1 the n37_a_major_case__1_3_1_2_2_1_1 true n37_a_major_case__1_3_1_2_3_1 reasons n37_a_major_case__1_3_1_3_1_1 if n37_a_major_case__1_3_1_3_2_1_1 * n37_a_major_case__1_3_1_3_2_2_1 disclosed n37_a_major_case__1_3_1_4_1 would n37_a_major_case__1_3_1_5_1_1 be n37_a_major_case__1_3_1_5_2_1_1 adverse n37_a_major_case__1_3_1_5_2_2_1_1 to n37_a_major_case__1_3_1_5_2_2_2_1_1_1 his n37_a_major_case__1_3_1_5_2_2_2_2_1 case n37_a_major_case__1_4_1 . n37_a_major_case__1 IP-MAT n37_a_major_case__1_1 NP-SBJ n37_a_major_case__1->n37_a_major_case__1_1 n37_a_major_case__1_2 BEP;_equ_Vf_ n37_a_major_case__1->n37_a_major_case__1_2 n37_a_major_case__1_3 CP-THT-PRD n37_a_major_case__1->n37_a_major_case__1_3 n37_a_major_case__1_4 PUNC n37_a_major_case__1->n37_a_major_case__1_4 n37_a_major_case__1_1_1 D n37_a_major_case__1_1->n37_a_major_case__1_1_1 n37_a_major_case__1_1_2 ADJP n37_a_major_case__1_1->n37_a_major_case__1_1_2 n37_a_major_case__1_1_3 ADJP n37_a_major_case__1_1->n37_a_major_case__1_1_3 n37_a_major_case__1_1_4 N n37_a_major_case__1_1->n37_a_major_case__1_1_4 n37_a_major_case__1_1_1->n37_a_major_case__1_1_1_1 n37_a_major_case__1_1_2_1 ADJ n37_a_major_case__1_1_2->n37_a_major_case__1_1_2_1 n37_a_major_case__1_1_2_1->n37_a_major_case__1_1_2_1_1 n37_a_major_case__1_1_3_1 ADJ n37_a_major_case__1_1_3->n37_a_major_case__1_1_3_1 n37_a_major_case__1_1_3_1->n37_a_major_case__1_1_3_1_1 n37_a_major_case__1_1_4->n37_a_major_case__1_1_4_1 n37_a_major_case__1_2->n37_a_major_case__1_2_1 n37_a_major_case__1_3_1 IP-SUB n37_a_major_case__1_3->n37_a_major_case__1_3_1 n37_a_major_case__1_3_1_1 C n37_a_major_case__1_3_1->n37_a_major_case__1_3_1_1 n37_a_major_case__1_3_1_2 NP-SBJ n37_a_major_case__1_3_1->n37_a_major_case__1_3_1_2 n37_a_major_case__1_3_1_3 PP-SCON n37_a_major_case__1_3_1->n37_a_major_case__1_3_1_3 n37_a_major_case__1_3_1_4 MD;_cat_Vi_ n37_a_major_case__1_3_1->n37_a_major_case__1_3_1_4 n37_a_major_case__1_3_1_5 IP-INF-CAT n37_a_major_case__1_3_1->n37_a_major_case__1_3_1_5 n37_a_major_case__1_3_1_1->n37_a_major_case__1_3_1_1_1 n37_a_major_case__1_3_1_2_1 D n37_a_major_case__1_3_1_2->n37_a_major_case__1_3_1_2_1 n37_a_major_case__1_3_1_2_2 ADJP n37_a_major_case__1_3_1_2->n37_a_major_case__1_3_1_2_2 n37_a_major_case__1_3_1_2_3 NS n37_a_major_case__1_3_1_2->n37_a_major_case__1_3_1_2_3 n37_a_major_case__1_3_1_2_1->n37_a_major_case__1_3_1_2_1_1 n37_a_major_case__1_3_1_2_2_1 ADJ n37_a_major_case__1_3_1_2_2->n37_a_major_case__1_3_1_2_2_1 n37_a_major_case__1_3_1_2_2_1->n37_a_major_case__1_3_1_2_2_1_1 n37_a_major_case__1_3_1_2_3->n37_a_major_case__1_3_1_2_3_1 n37_a_major_case__1_3_1_3_1 P-CONN n37_a_major_case__1_3_1_3->n37_a_major_case__1_3_1_3_1 n37_a_major_case__1_3_1_3_2 IP-PPL2 n37_a_major_case__1_3_1_3->n37_a_major_case__1_3_1_3_2 n37_a_major_case__1_3_1_3_1->n37_a_major_case__1_3_1_3_1_1 n37_a_major_case__1_3_1_3_2_1 NP-LGS n37_a_major_case__1_3_1_3_2->n37_a_major_case__1_3_1_3_2_1 n37_a_major_case__1_3_1_3_2_2 VVN;_Tn_ n37_a_major_case__1_3_1_3_2->n37_a_major_case__1_3_1_3_2_2 n37_a_major_case__1_3_1_3_2_1->n37_a_major_case__1_3_1_3_2_1_1 n37_a_major_case__1_3_1_3_2_2->n37_a_major_case__1_3_1_3_2_2_1 n37_a_major_case__1_3_1_4->n37_a_major_case__1_3_1_4_1 n37_a_major_case__1_3_1_5_1 BE;_La_ n37_a_major_case__1_3_1_5->n37_a_major_case__1_3_1_5_1 n37_a_major_case__1_3_1_5_2 ADJP-PRD n37_a_major_case__1_3_1_5->n37_a_major_case__1_3_1_5_2 n37_a_major_case__1_3_1_5_1->n37_a_major_case__1_3_1_5_1_1 n37_a_major_case__1_3_1_5_2_1 ADJ n37_a_major_case__1_3_1_5_2->n37_a_major_case__1_3_1_5_2_1 n37_a_major_case__1_3_1_5_2_2 PP n37_a_major_case__1_3_1_5_2->n37_a_major_case__1_3_1_5_2_2 n37_a_major_case__1_3_1_5_2_1->n37_a_major_case__1_3_1_5_2_1_1 n37_a_major_case__1_3_1_5_2_2_1 P-ROLE n37_a_major_case__1_3_1_5_2_2->n37_a_major_case__1_3_1_5_2_2_1 n37_a_major_case__1_3_1_5_2_2_2 NP n37_a_major_case__1_3_1_5_2_2->n37_a_major_case__1_3_1_5_2_2_2 n37_a_major_case__1_3_1_5_2_2_1->n37_a_major_case__1_3_1_5_2_2_1_1 n37_a_major_case__1_3_1_5_2_2_2_1 NP-GEN n37_a_major_case__1_3_1_5_2_2_2->n37_a_major_case__1_3_1_5_2_2_2_1 n37_a_major_case__1_3_1_5_2_2_2_2 N n37_a_major_case__1_3_1_5_2_2_2->n37_a_major_case__1_3_1_5_2_2_2_2 n37_a_major_case__1_3_1_5_2_2_2_1_1 PRO;_genm_ n37_a_major_case__1_3_1_5_2_2_2_1->n37_a_major_case__1_3_1_5_2_2_2_1_1 n37_a_major_case__1_3_1_5_2_2_2_1_1->n37_a_major_case__1_3_1_5_2_2_2_1_1_1 n37_a_major_case__1_3_1_5_2_2_2_2->n37_a_major_case__1_3_1_5_2_2_2_2_1 n37_a_major_case__1_4->n37_a_major_case__1_4_1 
( (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))