TSPC 36_a_major

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

( (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))

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_0006__do_r_0036_0007__so,emb).
arc(r_0036_0006__do_r_0036_0007__so,z_0036_5004,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_0015__no__quant,conj2).
arc(r_0036_0013__has,r_0036_0014__been,scope).
arc(r_0036_0014__been,r_0036_0017__explanation,arg0).
arc(r_0036_0015__no__quant,r_0036_0013__has,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,attrib).

fof(formula,axiom,
    ? [R_0036_0001__HIS,R_0036_0002__FAILURE,R_0036_0004__REFUSAL,Z_0036_5004,R_0036_0006__DO_R_0036_0007__SO,R_0036_0003__OR,R_0036_0009__CONSPICUOUS,R_0036_0008__IS,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_0009__conspicuous(R_0036_0009__CONSPICUOUS)
      & z_0036_5004(Z_0036_5004)
      & r_0036_0011__and(R_0036_0011__AND)
      & ! [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_attrib(R_0036_0017__EXPLANATION,R_0036_0016__PROPER)
            & has_r_0036_0018__for(R_0036_0017__EXPLANATION,R_0036_0003__OR) )
         => ? [R_0036_0013__HAS_R_0036_0014__BEEN] :
              ( r_0036_0013__has_r_0036_0014__been(R_0036_0013__HAS_R_0036_0014__BEEN)
              & has_arg0(R_0036_0013__HAS_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_emb(R_0036_0003__OR,R_0036_0006__DO_R_0036_0007__SO)
      & r_0036_0006__do_r_0036_0007__so(R_0036_0006__DO_R_0036_0007__SO)
      & has_arg0(R_0036_0006__DO_R_0036_0007__SO,Z_0036_5004)
      & 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) ) ).