36_a_major_case
His failure or refusal to do so is conspicuous, and there has been no proper explanation for it.
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).
fof(formula,axiom,
? [R_0036_0001__HIS,R_0036_0002__FAILURE,R_0036_0004__REFUSAL,R_0036_0007__SO,Z_000_36_A_MAJOR_CASE_18,R_0036_0005__TO_R_0036_0006__DO,R_0036_0003__OR,R_0036_0009__CONSPICUOUS,R_0036_0008__IS,R_0036_0012__THERE_R_0036_0013__HAS,R_0036_0011__AND] :
( r_0036_0001__His(R_0036_0001__HIS)
& r_0036_0002__failure(R_0036_0002__FAILURE)
& r_0036_0004__refusal(R_0036_0004__REFUSAL)
& r_0036_0007__so(R_0036_0007__SO)
& r_0036_0009__conspicuous(R_0036_0009__CONSPICUOUS)
& z_000_36_a_major_case_18(Z_000_36_A_MAJOR_CASE_18)
& r_0036_0011__and(R_0036_0011__AND)
& has_conj2(R_0036_0011__AND,R_0036_0012__THERE_R_0036_0013__HAS)
& r_0036_0012__there_r_0036_0013__has(R_0036_0012__THERE_R_0036_0013__HAS)
& ! [R_0036_0017__EXPLANATION,R_0036_0016__PROPER] :
( ( r_0036_0016__proper(R_0036_0016__PROPER)
& r_0036_0017__explanation(R_0036_0017__EXPLANATION)
& has_attrib47(R_0036_0017__EXPLANATION,R_0036_0016__PROPER)
& has_r_0036_0018__for(R_0036_0017__EXPLANATION,R_0036_0003__OR) )
=> ? [R_0036_0014__BEEN] :
( r_0036_0014__been(R_0036_0014__BEEN)
& has_arg0(R_0036_0014__BEEN,R_0036_0017__EXPLANATION) ) )
& has_conj1(R_0036_0011__AND,R_0036_0008__IS)
& r_0036_0008__is(R_0036_0008__IS)
& has_prd(R_0036_0008__IS,R_0036_0009__CONSPICUOUS)
& has_arg0(R_0036_0008__IS,R_0036_0003__OR)
& r_0036_0003__or(R_0036_0003__OR)
& has_emb18(R_0036_0003__OR,R_0036_0005__TO_R_0036_0006__DO)
& r_0036_0005__to_r_0036_0006__do(R_0036_0005__TO_R_0036_0006__DO)
& has_arg0(R_0036_0005__TO_R_0036_0006__DO,Z_000_36_A_MAJOR_CASE_18)
& has_clr23(R_0036_0005__TO_R_0036_0006__DO,R_0036_0007__SO)
& has_conj2(R_0036_0003__OR,R_0036_0004__REFUSAL)
& has_conj1(R_0036_0003__OR,R_0036_0002__FAILURE)
& has_gen(R_0036_0003__OR,R_0036_0001__HIS) ) ).
( (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))