TSPC 13_a_major

13_a_major_case
That clearly calls for an explanation, but none was provided.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D;_nphd_ That;{that}))
                      (ADVP-NIM (ADV clearly;{clearly}))
                      (VBP;__ calls;{call})
                      (PP-CLR (P-ROLE for;{for})
                              (NP (D an;{an})
                                  (N explanation;{explanation}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (N none;{none}))
                             (BED;_cat_VePASS_ was;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;__ provided;{provide})))))
          (PUNC .))
  (ID 13_a_major_case))

arc(r_0013_0003__calls,r_0013_0001__That,arg0).
arc(r_0013_0003__calls,r_0013_0002__clearly,nim).
arc(r_0013_0003__calls,r_0013_0005__an_r_0013_0006__explanation,r_0013_0004__for__clr).
arc(r_0013_0008__but,r_0013_0003__calls,conj1).
arc(r_0013_0008__but,r_0013_0010__was,conj2).
arc(r_0013_0010__was,r_0013_0011__provided,scope).
arc(r_0013_0011__provided,r_0013_0009__none,arg1).
arc(r_0013_0011__provided,z_0013_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0013_0001__THAT,R_0013_0002__CLEARLY,R_0013_0005__AN_R_0013_0006__EXPLANATION,R_0013_0003__CALLS,R_0013_0009__NONE,Z_0013_5006___STAR_,R_0013_0010__WAS_R_0013_0011__PROVIDED,R_0013_0008__BUT] :
      ( r_0013_0001__That(R_0013_0001__THAT)
      & r_0013_0002__clearly(R_0013_0002__CLEARLY)
      & r_0013_0005__an_r_0013_0006__explanation(R_0013_0005__AN_R_0013_0006__EXPLANATION)
      & r_0013_0009__none(R_0013_0009__NONE)
      & z_0013_5006___star_(Z_0013_5006___STAR_)
      & r_0013_0008__but(R_0013_0008__BUT)
      & has_conj2(R_0013_0008__BUT,R_0013_0010__WAS_R_0013_0011__PROVIDED)
      & r_0013_0010__was_r_0013_0011__provided(R_0013_0010__WAS_R_0013_0011__PROVIDED)
      & has_arg0(R_0013_0010__WAS_R_0013_0011__PROVIDED,Z_0013_5006___STAR_)
      & has_arg1(R_0013_0010__WAS_R_0013_0011__PROVIDED,R_0013_0009__NONE)
      & has_conj1(R_0013_0008__BUT,R_0013_0003__CALLS)
      & r_0013_0003__calls(R_0013_0003__CALLS)
      & has_r_0013_0004__for__clr(R_0013_0003__CALLS,R_0013_0005__AN_R_0013_0006__EXPLANATION)
      & has_nim(R_0013_0003__CALLS,R_0013_0002__CLEARLY)
      & has_arg0(R_0013_0003__CALLS,R_0013_0001__THAT) ) ).