Context                Previous, Next                Top


36_a_major_case
His failure or refusal to do so is conspicuous, and there has been no proper explanation for it.

%3 r_0036_0003__or or r_0036_0001__His His r_0036_0003__or->r_0036_0001__His [gen] r_0036_0002__failure failure r_0036_0003__or->r_0036_0002__failure [conj1] r_0036_0004__refusal refusal r_0036_0003__or->r_0036_0004__refusal [conj2] r_0036_0005__to_r_0036_0006__do to do r_0036_0003__or->r_0036_0005__to_r_0036_0006__do [emb] r_0036_0007__so so r_0036_0005__to_r_0036_0006__do->r_0036_0007__so [clr] z_000_36_a_major_case_18 r_0036_0005__to_r_0036_0006__do->z_000_36_a_major_case_18 [arg0] r_0036_0008__is is r_0036_0008__is->r_0036_0003__or [arg0] r_0036_0009__conspicuous conspicuous r_0036_0008__is->r_0036_0009__conspicuous [prd] r_0036_0011__and and r_0036_0011__and->r_0036_0008__is [conj1] r_0036_0012__there_r_0036_0013__has there has r_0036_0011__and->r_0036_0012__there_r_0036_0013__has [conj2] r_0036_0015__no_quant no [quant] r_0036_0012__there_r_0036_0013__has->r_0036_0015__no_quant [scope] r_0036_0014__been been r_0036_0015__no_quant->r_0036_0014__been [scope] r_0036_0017__explanation explanation r_0036_0015__no_quant->r_0036_0017__explanation [restriction] r_0036_0014__been->r_0036_0017__explanation [arg0] r_0036_0017__explanation->r_0036_0003__or for r_0036_0016__proper proper r_0036_0017__explanation->r_0036_0016__proper [attrib] 
arc(r_0036_0003__or, r_0036_0001__His, gen).
arc(r_0036_0003__or, r_0036_0002__failure, conj1).
arc(r_0036_0003__or, r_0036_0004__refusal, conj2).
arc(r_0036_0003__or, r_0036_0005__to_r_0036_0006__do, emb18).
arc(r_0036_0005__to_r_0036_0006__do, r_0036_0007__so, clr23).
arc(r_0036_0005__to_r_0036_0006__do, z_000_36_a_major_case_18, arg0).
arc(r_0036_0008__is, r_0036_0003__or, arg0).
arc(r_0036_0008__is, r_0036_0009__conspicuous, prd).
arc(r_0036_0011__and, r_0036_0008__is, conj1).
arc(r_0036_0011__and, r_0036_0012__there_r_0036_0013__has, conj2).
arc(r_0036_0012__there_r_0036_0013__has, r_0036_0015__no_quant, scope).
arc(r_0036_0014__been, r_0036_0017__explanation, arg0).
arc(r_0036_0015__no_quant, r_0036_0014__been, scope).
arc(r_0036_0015__no_quant, r_0036_0017__explanation, restriction).
arc(r_0036_0017__explanation, r_0036_0003__or, r_0036_0018__for).
arc(r_0036_0017__explanation, r_0036_0016__proper, attrib47).


%3 r_0036_0012__there_r_0036_0013__has there has r_0036_0015__no_quant no [quant] r_0036_0012__there_r_0036_0013__has->r_0036_0015__no_quant [keep_scope] r_0036_0017__explanation explanation r_0036_0015__no_quant->r_0036_0017__explanation [restriction] r_0036_0014__been been r_0036_0015__no_quant->r_0036_0014__been [scope] r_0036_0016__proper proper r_0036_0017__explanation->r_0036_0016__proper [attrib] r_0036_0003__or or r_0036_0017__explanation->r_0036_0003__or for r_0036_0005__to_r_0036_0006__do to do r_0036_0003__or->r_0036_0005__to_r_0036_0006__do [emb] r_0036_0004__refusal refusal r_0036_0003__or->r_0036_0004__refusal [conj2] r_0036_0002__failure failure r_0036_0003__or->r_0036_0002__failure [conj1] r_0036_0001__His His r_0036_0003__or->r_0036_0001__His [gen] r_0036_0014__been->r_0036_0017__explanation [arg0] r_0036_0011__and and r_0036_0011__and->r_0036_0012__there_r_0036_0013__has [conj2] r_0036_0008__is is r_0036_0011__and->r_0036_0008__is [conj1] r_0036_0008__is->r_0036_0003__or [arg0] r_0036_0009__conspicuous conspicuous r_0036_0008__is->r_0036_0009__conspicuous [prd] z_000_36_a_major_case_18 r_0036_0005__to_r_0036_0006__do->z_000_36_a_major_case_18 [arg0] r_0036_0007__so so r_0036_0005__to_r_0036_0006__do->r_0036_0007__so [clr] 
fof(formula,axiom,
    ? [R_36_11_AND,R_36_8_IS,R_36_3_OR,R_36_2_FAILURE,R_36_4_REFUSAL,R_36_5_TO_DO,Z_36_A_MAJOR_CASE_18,R_36_7_SO,R_36_1_HIS,R_36_9_CONSPICUOUS] :
      ( failure(R_36_2_FAILURE)
      & refusal(R_36_4_REFUSAL)
      & so(R_36_7_SO)
      & his(R_36_1_HIS)
      & conspicuous(R_36_9_CONSPICUOUS)
      & and(R_36_11_AND)
      & conj1(R_36_11_AND,R_36_8_IS)
      & is(R_36_8_IS,R_36_3_OR,R_36_9_CONSPICUOUS)
      & or(R_36_3_OR)
      & conj1(R_36_3_OR,R_36_2_FAILURE)
      & conj2(R_36_3_OR,R_36_4_REFUSAL)
      & emb18(R_36_3_OR,R_36_5_TO_DO)
      & to_do(R_36_5_TO_DO,Z_36_A_MAJOR_CASE_18)
      & clr23(R_36_5_TO_DO,R_36_7_SO)
      & gen(R_36_3_OR,R_36_1_HIS)
      & conj2(R_36_11_AND,R_36_12_THERE_HAS)
      & ~ ! [R_36_17_EXPLANATION,R_36_16_PROPER] :
            ( ( proper(R_36_16_PROPER)
              & explanation(R_36_17_EXPLANATION)
              & attrib47(R_36_17_EXPLANATION,R_36_16_PROPER)
              & for(R_36_17_EXPLANATION,R_36_3_OR) )
           => ? [R_36_14_BEEN] : been(R_36_14_BEEN,R_36_17_EXPLANATION) ) ) ).


n36_a_major_case n36_a_major_case__1_1_1_1_1_1_1 His n36_a_major_case__1_1_1_1_2_1_1_1 failure n36_a_major_case__1_1_1_1_2_2_1_1 or n36_a_major_case__1_1_1_1_2_2_2_1_1 refusal n36_a_major_case__1_1_1_1_3_1_1 to n36_a_major_case__1_1_1_1_3_2_1 do n36_a_major_case__1_1_1_1_3_3_1_1 so n36_a_major_case__1_1_1_2_1 is n36_a_major_case__1_1_1_3_1_1 conspicuous n36_a_major_case__1_1_2_1 , n36_a_major_case__1_1_3_1_1 and n36_a_major_case__1_1_3_2_1_1 there n36_a_major_case__1_1_3_2_2_1 has n36_a_major_case__1_1_3_2_3_1_1 been n36_a_major_case__1_1_3_2_3_2_1_1 no n36_a_major_case__1_1_3_2_3_2_2_1_1 proper n36_a_major_case__1_1_3_2_3_2_3_1 explanation n36_a_major_case__1_1_3_2_3_2_4_1_1 for n36_a_major_case__1_1_3_2_3_2_4_2_1_1 it n36_a_major_case__1_2_1 . n36_a_major_case__1 IP-MAT n36_a_major_case__1_1 ILYR n36_a_major_case__1->n36_a_major_case__1_1 n36_a_major_case__1_2 PUNC n36_a_major_case__1->n36_a_major_case__1_2 n36_a_major_case__1_1_1 ILYR n36_a_major_case__1_1->n36_a_major_case__1_1_1 n36_a_major_case__1_1_2 PUNC n36_a_major_case__1_1->n36_a_major_case__1_1_2 n36_a_major_case__1_1_3 CONJP n36_a_major_case__1_1->n36_a_major_case__1_1_3 n36_a_major_case__1_1_1_1 NP-SBJ n36_a_major_case__1_1_1->n36_a_major_case__1_1_1_1 n36_a_major_case__1_1_1_2 BEP;_La_ n36_a_major_case__1_1_1->n36_a_major_case__1_1_1_2 n36_a_major_case__1_1_1_3 ADJP-PRD n36_a_major_case__1_1_1->n36_a_major_case__1_1_1_3 n36_a_major_case__1_1_1_1_1 NP-GEN n36_a_major_case__1_1_1_1->n36_a_major_case__1_1_1_1_1 n36_a_major_case__1_1_1_1_2 NLYR n36_a_major_case__1_1_1_1->n36_a_major_case__1_1_1_1_2 n36_a_major_case__1_1_1_1_3 IP-INF n36_a_major_case__1_1_1_1->n36_a_major_case__1_1_1_1_3 n36_a_major_case__1_1_1_1_1_1 PRO;_genm_ n36_a_major_case__1_1_1_1_1->n36_a_major_case__1_1_1_1_1_1 n36_a_major_case__1_1_1_1_1_1->n36_a_major_case__1_1_1_1_1_1_1 n36_a_major_case__1_1_1_1_2_1 NLYR n36_a_major_case__1_1_1_1_2->n36_a_major_case__1_1_1_1_2_1 n36_a_major_case__1_1_1_1_2_2 CONJP n36_a_major_case__1_1_1_1_2->n36_a_major_case__1_1_1_1_2_2 n36_a_major_case__1_1_1_1_2_1_1 N n36_a_major_case__1_1_1_1_2_1->n36_a_major_case__1_1_1_1_2_1_1 n36_a_major_case__1_1_1_1_2_1_1->n36_a_major_case__1_1_1_1_2_1_1_1 n36_a_major_case__1_1_1_1_2_2_1 CONJ n36_a_major_case__1_1_1_1_2_2->n36_a_major_case__1_1_1_1_2_2_1 n36_a_major_case__1_1_1_1_2_2_2 NLYR n36_a_major_case__1_1_1_1_2_2->n36_a_major_case__1_1_1_1_2_2_2 n36_a_major_case__1_1_1_1_2_2_1->n36_a_major_case__1_1_1_1_2_2_1_1 n36_a_major_case__1_1_1_1_2_2_2_1 N n36_a_major_case__1_1_1_1_2_2_2->n36_a_major_case__1_1_1_1_2_2_2_1 n36_a_major_case__1_1_1_1_2_2_2_1->n36_a_major_case__1_1_1_1_2_2_2_1_1 n36_a_major_case__1_1_1_1_3_1 TO n36_a_major_case__1_1_1_1_3->n36_a_major_case__1_1_1_1_3_1 n36_a_major_case__1_1_1_1_3_2 DO n36_a_major_case__1_1_1_1_3->n36_a_major_case__1_1_1_1_3_2 n36_a_major_case__1_1_1_1_3_3 ADVP-CLR n36_a_major_case__1_1_1_1_3->n36_a_major_case__1_1_1_1_3_3 n36_a_major_case__1_1_1_1_3_1->n36_a_major_case__1_1_1_1_3_1_1 n36_a_major_case__1_1_1_1_3_2->n36_a_major_case__1_1_1_1_3_2_1 n36_a_major_case__1_1_1_1_3_3_1 ADV n36_a_major_case__1_1_1_1_3_3->n36_a_major_case__1_1_1_1_3_3_1 n36_a_major_case__1_1_1_1_3_3_1->n36_a_major_case__1_1_1_1_3_3_1_1 n36_a_major_case__1_1_1_2->n36_a_major_case__1_1_1_2_1 n36_a_major_case__1_1_1_3_1 ADJ n36_a_major_case__1_1_1_3->n36_a_major_case__1_1_1_3_1 n36_a_major_case__1_1_1_3_1->n36_a_major_case__1_1_1_3_1_1 n36_a_major_case__1_1_2->n36_a_major_case__1_1_2_1 n36_a_major_case__1_1_3_1 CONJ n36_a_major_case__1_1_3->n36_a_major_case__1_1_3_1 n36_a_major_case__1_1_3_2 ILYR n36_a_major_case__1_1_3->n36_a_major_case__1_1_3_2 n36_a_major_case__1_1_3_1->n36_a_major_case__1_1_3_1_1 n36_a_major_case__1_1_3_2_1 EX n36_a_major_case__1_1_3_2->n36_a_major_case__1_1_3_2_1 n36_a_major_case__1_1_3_2_2 HVP;_cat_Ve_ n36_a_major_case__1_1_3_2->n36_a_major_case__1_1_3_2_2 n36_a_major_case__1_1_3_2_3 IP-PPL-CAT n36_a_major_case__1_1_3_2->n36_a_major_case__1_1_3_2_3 n36_a_major_case__1_1_3_2_1->n36_a_major_case__1_1_3_2_1_1 n36_a_major_case__1_1_3_2_2->n36_a_major_case__1_1_3_2_2_1 n36_a_major_case__1_1_3_2_3_1 BEN;_ex_V_ n36_a_major_case__1_1_3_2_3->n36_a_major_case__1_1_3_2_3_1 n36_a_major_case__1_1_3_2_3_2 NP-ESBJ n36_a_major_case__1_1_3_2_3->n36_a_major_case__1_1_3_2_3_2 n36_a_major_case__1_1_3_2_3_1->n36_a_major_case__1_1_3_2_3_1_1 n36_a_major_case__1_1_3_2_3_2_1 Q n36_a_major_case__1_1_3_2_3_2->n36_a_major_case__1_1_3_2_3_2_1 n36_a_major_case__1_1_3_2_3_2_2 ADJP n36_a_major_case__1_1_3_2_3_2->n36_a_major_case__1_1_3_2_3_2_2 n36_a_major_case__1_1_3_2_3_2_3 N n36_a_major_case__1_1_3_2_3_2->n36_a_major_case__1_1_3_2_3_2_3 n36_a_major_case__1_1_3_2_3_2_4 PP n36_a_major_case__1_1_3_2_3_2->n36_a_major_case__1_1_3_2_3_2_4 n36_a_major_case__1_1_3_2_3_2_1->n36_a_major_case__1_1_3_2_3_2_1_1 n36_a_major_case__1_1_3_2_3_2_2_1 ADJ n36_a_major_case__1_1_3_2_3_2_2->n36_a_major_case__1_1_3_2_3_2_2_1 n36_a_major_case__1_1_3_2_3_2_2_1->n36_a_major_case__1_1_3_2_3_2_2_1_1 n36_a_major_case__1_1_3_2_3_2_3->n36_a_major_case__1_1_3_2_3_2_3_1 n36_a_major_case__1_1_3_2_3_2_4_1 P-ROLE n36_a_major_case__1_1_3_2_3_2_4->n36_a_major_case__1_1_3_2_3_2_4_1 n36_a_major_case__1_1_3_2_3_2_4_2 NP n36_a_major_case__1_1_3_2_3_2_4->n36_a_major_case__1_1_3_2_3_2_4_2 n36_a_major_case__1_1_3_2_3_2_4_1->n36_a_major_case__1_1_3_2_3_2_4_1_1 n36_a_major_case__1_1_3_2_3_2_4_2_1 PRO n36_a_major_case__1_1_3_2_3_2_4_2->n36_a_major_case__1_1_3_2_3_2_4_2_1 n36_a_major_case__1_1_3_2_3_2_4_2_1->n36_a_major_case__1_1_3_2_3_2_4_2_1_1 n36_a_major_case__1_2->n36_a_major_case__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{FAILURE_OR_REFUSAL} (NP-GEN;{JOHNSON} (PRO;_genm_ His;{his}))
                                                   (NLYR (NLYR (N failure;{failure}))
                                                         (CONJP (CONJ or;{or})
                                                                (NLYR (N refusal;{refusal}))))
                                                   (IP-INF (TO to;{to})
                                                           (DO do;{do})
                                                           (ADVP-CLR (ADV so;{so}))))
                      (BEP;_La_ is;{be})
                      (ADJP-PRD (ADJ conspicuous;{conspicuous})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (EX there;{there})
                             (HVP;_cat_Ve_ has;{have})
                             (IP-PPL-CAT (BEN;_ex_V_ been;{be})
                                         (NP-ESBJ (Q no;{no})
                                                  (ADJP (ADJ proper;{proper}))
                                                  (N explanation;{explanation})
                                                  (PP (P-ROLE for;{for})
                                                      (NP;{FAILURE_OR_REFUSAL} (PRO it;{it}))))))))
          (PUNC .))
  (ID 36_a_major_case))