Context                Previous, Next                Top


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

%3 r_0013_0003__calls calls r_0013_0001__That That r_0013_0003__calls->r_0013_0001__That [arg0] r_0013_0002__clearly clearly r_0013_0003__calls->r_0013_0002__clearly [nim] r_0013_0005__an_r_0013_0006__explanation an explanation r_0013_0003__calls->r_0013_0005__an_r_0013_0006__explanation for [clr] r_0013_0008__but but r_0013_0008__but->r_0013_0003__calls [conj1] r_0013_0010__was was r_0013_0008__but->r_0013_0010__was [conj2] r_0013_0011__provided provided r_0013_0010__was->r_0013_0011__provided [scope] r_0013_0009__none none r_0013_0011__provided->r_0013_0009__none [arg1] z_000_13_a_major_case_32 r_0013_0011__provided->z_000_13_a_major_case_32 [arg0] 
arc(r_0013_0003__calls, r_0013_0001__That, arg0).
arc(r_0013_0003__calls, r_0013_0002__clearly, nim7).
arc(r_0013_0003__calls, r_0013_0005__an_r_0013_0006__explanation, r_0013_0004__for_clr15).
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_000_13_a_major_case_32, arg0).


%3 r_0013_0010__was_r_0013_0011__provided was provided z_000_13_a_major_case_32 r_0013_0010__was_r_0013_0011__provided->z_000_13_a_major_case_32 [arg0] r_0013_0009__none none r_0013_0010__was_r_0013_0011__provided->r_0013_0009__none [arg1] r_0013_0008__but but r_0013_0008__but->r_0013_0010__was_r_0013_0011__provided [conj2] r_0013_0003__calls calls r_0013_0008__but->r_0013_0003__calls [conj1] r_0013_0005__an_r_0013_0006__explanation an explanation r_0013_0003__calls->r_0013_0005__an_r_0013_0006__explanation for [clr] r_0013_0002__clearly clearly r_0013_0003__calls->r_0013_0002__clearly [nim] r_0013_0001__That That r_0013_0003__calls->r_0013_0001__That [arg0] 
fof(formula,axiom,
    ? [R_13_8_BUT,R_13_3_CALLS,R_13_1_THAT,R_13_2_CLEARLY,R_13_5_AN_EXPLANATION,R_13_10_WAS_PROVIDED,Z_13_A_MAJOR_CASE_32,R_13_9_NONE] :
      ( that(R_13_1_THAT)
      & clearly(R_13_2_CLEARLY)
      & an_explanation(R_13_5_AN_EXPLANATION)
      & none(R_13_9_NONE)
      & but(R_13_8_BUT)
      & conj1(R_13_8_BUT,R_13_3_CALLS)
      & calls(R_13_3_CALLS,R_13_1_THAT)
      & nim7(R_13_3_CALLS,R_13_2_CLEARLY)
      & for_clr15(R_13_3_CALLS,R_13_5_AN_EXPLANATION)
      & conj2(R_13_8_BUT,R_13_10_WAS_PROVIDED)
      & was_provided(R_13_10_WAS_PROVIDED,Z_13_A_MAJOR_CASE_32,R_13_9_NONE) ) ).


n13_a_major_case n13_a_major_case__1_1_1_1_1_1 That n13_a_major_case__1_1_1_2_1_1 clearly n13_a_major_case__1_1_1_3_1 calls n13_a_major_case__1_1_1_4_1_1 for n13_a_major_case__1_1_1_4_2_1_1 an n13_a_major_case__1_1_1_4_2_2_1 explanation n13_a_major_case__1_1_2_1 , n13_a_major_case__1_1_3_1_1 but n13_a_major_case__1_1_3_2_1_1_1 none n13_a_major_case__1_1_3_2_2_1 was n13_a_major_case__1_1_3_2_3_1_1 * n13_a_major_case__1_1_3_2_3_2_1 provided n13_a_major_case__1_2_1 . n13_a_major_case__1 IP-MAT n13_a_major_case__1_1 ILYR n13_a_major_case__1->n13_a_major_case__1_1 n13_a_major_case__1_2 PUNC n13_a_major_case__1->n13_a_major_case__1_2 n13_a_major_case__1_1_1 ILYR n13_a_major_case__1_1->n13_a_major_case__1_1_1 n13_a_major_case__1_1_2 PUNC n13_a_major_case__1_1->n13_a_major_case__1_1_2 n13_a_major_case__1_1_3 CONJP n13_a_major_case__1_1->n13_a_major_case__1_1_3 n13_a_major_case__1_1_1_1 NP-SBJ n13_a_major_case__1_1_1->n13_a_major_case__1_1_1_1 n13_a_major_case__1_1_1_2 ADVP-NIM n13_a_major_case__1_1_1->n13_a_major_case__1_1_1_2 n13_a_major_case__1_1_1_3 VBP;__ n13_a_major_case__1_1_1->n13_a_major_case__1_1_1_3 n13_a_major_case__1_1_1_4 PP-CLR n13_a_major_case__1_1_1->n13_a_major_case__1_1_1_4 n13_a_major_case__1_1_1_1_1 D;_nphd_ n13_a_major_case__1_1_1_1->n13_a_major_case__1_1_1_1_1 n13_a_major_case__1_1_1_1_1->n13_a_major_case__1_1_1_1_1_1 n13_a_major_case__1_1_1_2_1 ADV n13_a_major_case__1_1_1_2->n13_a_major_case__1_1_1_2_1 n13_a_major_case__1_1_1_2_1->n13_a_major_case__1_1_1_2_1_1 n13_a_major_case__1_1_1_3->n13_a_major_case__1_1_1_3_1 n13_a_major_case__1_1_1_4_1 P-ROLE n13_a_major_case__1_1_1_4->n13_a_major_case__1_1_1_4_1 n13_a_major_case__1_1_1_4_2 NP n13_a_major_case__1_1_1_4->n13_a_major_case__1_1_1_4_2 n13_a_major_case__1_1_1_4_1->n13_a_major_case__1_1_1_4_1_1 n13_a_major_case__1_1_1_4_2_1 D n13_a_major_case__1_1_1_4_2->n13_a_major_case__1_1_1_4_2_1 n13_a_major_case__1_1_1_4_2_2 N n13_a_major_case__1_1_1_4_2->n13_a_major_case__1_1_1_4_2_2 n13_a_major_case__1_1_1_4_2_1->n13_a_major_case__1_1_1_4_2_1_1 n13_a_major_case__1_1_1_4_2_2->n13_a_major_case__1_1_1_4_2_2_1 n13_a_major_case__1_1_2->n13_a_major_case__1_1_2_1 n13_a_major_case__1_1_3_1 CONJ n13_a_major_case__1_1_3->n13_a_major_case__1_1_3_1 n13_a_major_case__1_1_3_2 ILYR n13_a_major_case__1_1_3->n13_a_major_case__1_1_3_2 n13_a_major_case__1_1_3_1->n13_a_major_case__1_1_3_1_1 n13_a_major_case__1_1_3_2_1 NP-SBJ n13_a_major_case__1_1_3_2->n13_a_major_case__1_1_3_2_1 n13_a_major_case__1_1_3_2_2 BED;_cat_VePASS_ n13_a_major_case__1_1_3_2->n13_a_major_case__1_1_3_2_2 n13_a_major_case__1_1_3_2_3 IP-PPL-CAT n13_a_major_case__1_1_3_2->n13_a_major_case__1_1_3_2_3 n13_a_major_case__1_1_3_2_1_1 N n13_a_major_case__1_1_3_2_1->n13_a_major_case__1_1_3_2_1_1 n13_a_major_case__1_1_3_2_1_1->n13_a_major_case__1_1_3_2_1_1_1 n13_a_major_case__1_1_3_2_2->n13_a_major_case__1_1_3_2_2_1 n13_a_major_case__1_1_3_2_3_1 NP-LGS n13_a_major_case__1_1_3_2_3->n13_a_major_case__1_1_3_2_3_1 n13_a_major_case__1_1_3_2_3_2 VVN;__ n13_a_major_case__1_1_3_2_3->n13_a_major_case__1_1_3_2_3_2 n13_a_major_case__1_1_3_2_3_1->n13_a_major_case__1_1_3_2_3_1_1 n13_a_major_case__1_1_3_2_3_2->n13_a_major_case__1_1_3_2_3_2_1 n13_a_major_case__1_2->n13_a_major_case__1_2_1 
( (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))