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_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 [keep_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] 
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_7 His n36_a_major_case_11 failure n36_a_major_case_14 or n36_a_major_case_17 refusal n36_a_major_case_20 to n36_a_major_case_22 do n36_a_major_case_25 so n36_a_major_case_27 is n36_a_major_case_30 conspicuous n36_a_major_case_32 , n36_a_major_case_35 and n36_a_major_case_38 there n36_a_major_case_40 has n36_a_major_case_43 been n36_a_major_case_46 no n36_a_major_case_49 proper n36_a_major_case_51 explanation n36_a_major_case_54 for n36_a_major_case_57 it n36_a_major_case_59 . n36_a_major_case_1 IP-MAT n36_a_major_case_2 ILYR n36_a_major_case_1->n36_a_major_case_2 n36_a_major_case_58 PUNC n36_a_major_case_1->n36_a_major_case_58 n36_a_major_case_3 ILYR n36_a_major_case_2->n36_a_major_case_3 n36_a_major_case_31 PUNC n36_a_major_case_2->n36_a_major_case_31 n36_a_major_case_33 CONJP n36_a_major_case_2->n36_a_major_case_33 n36_a_major_case_4 NP-SBJ n36_a_major_case_3->n36_a_major_case_4 n36_a_major_case_26 BEP;_La_ n36_a_major_case_3->n36_a_major_case_26 n36_a_major_case_28 ADJP-PRD n36_a_major_case_3->n36_a_major_case_28 n36_a_major_case_5 NP-GEN n36_a_major_case_4->n36_a_major_case_5 n36_a_major_case_8 NLYR n36_a_major_case_4->n36_a_major_case_8 n36_a_major_case_18 IP-INF n36_a_major_case_4->n36_a_major_case_18 n36_a_major_case_6 PRO;_genm_ n36_a_major_case_5->n36_a_major_case_6 n36_a_major_case_6->n36_a_major_case_7 n36_a_major_case_9 NLYR n36_a_major_case_8->n36_a_major_case_9 n36_a_major_case_12 CONJP n36_a_major_case_8->n36_a_major_case_12 n36_a_major_case_10 N n36_a_major_case_9->n36_a_major_case_10 n36_a_major_case_10->n36_a_major_case_11 n36_a_major_case_13 CONJ n36_a_major_case_12->n36_a_major_case_13 n36_a_major_case_15 NLYR n36_a_major_case_12->n36_a_major_case_15 n36_a_major_case_13->n36_a_major_case_14 n36_a_major_case_16 N n36_a_major_case_15->n36_a_major_case_16 n36_a_major_case_16->n36_a_major_case_17 n36_a_major_case_19 TO n36_a_major_case_18->n36_a_major_case_19 n36_a_major_case_21 DO n36_a_major_case_18->n36_a_major_case_21 n36_a_major_case_23 ADVP-CLR n36_a_major_case_18->n36_a_major_case_23 n36_a_major_case_19->n36_a_major_case_20 n36_a_major_case_21->n36_a_major_case_22 n36_a_major_case_24 ADV n36_a_major_case_23->n36_a_major_case_24 n36_a_major_case_24->n36_a_major_case_25 n36_a_major_case_26->n36_a_major_case_27 n36_a_major_case_29 ADJ n36_a_major_case_28->n36_a_major_case_29 n36_a_major_case_29->n36_a_major_case_30 n36_a_major_case_31->n36_a_major_case_32 n36_a_major_case_34 CONJ n36_a_major_case_33->n36_a_major_case_34 n36_a_major_case_36 ILYR n36_a_major_case_33->n36_a_major_case_36 n36_a_major_case_34->n36_a_major_case_35 n36_a_major_case_37 EX n36_a_major_case_36->n36_a_major_case_37 n36_a_major_case_39 HVP;_cat_Ve_ n36_a_major_case_36->n36_a_major_case_39 n36_a_major_case_41 IP-PPL-CAT n36_a_major_case_36->n36_a_major_case_41 n36_a_major_case_37->n36_a_major_case_38 n36_a_major_case_39->n36_a_major_case_40 n36_a_major_case_42 BEN;_ex_V_ n36_a_major_case_41->n36_a_major_case_42 n36_a_major_case_44 NP-ESBJ n36_a_major_case_41->n36_a_major_case_44 n36_a_major_case_42->n36_a_major_case_43 n36_a_major_case_45 Q n36_a_major_case_44->n36_a_major_case_45 n36_a_major_case_47 ADJP n36_a_major_case_44->n36_a_major_case_47 n36_a_major_case_50 N n36_a_major_case_44->n36_a_major_case_50 n36_a_major_case_52 PP n36_a_major_case_44->n36_a_major_case_52 n36_a_major_case_45->n36_a_major_case_46 n36_a_major_case_48 ADJ n36_a_major_case_47->n36_a_major_case_48 n36_a_major_case_48->n36_a_major_case_49 n36_a_major_case_50->n36_a_major_case_51 n36_a_major_case_53 P-ROLE n36_a_major_case_52->n36_a_major_case_53 n36_a_major_case_55 NP n36_a_major_case_52->n36_a_major_case_55 n36_a_major_case_53->n36_a_major_case_54 n36_a_major_case_56 PRO n36_a_major_case_55->n36_a_major_case_56 n36_a_major_case_56->n36_a_major_case_57 n36_a_major_case_58->n36_a_major_case_59 
( (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))