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_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_r_0013_0011__provided was provided r_0013_0008__but->r_0013_0010__was_r_0013_0011__provided [conj2] r_0013_0009__none none r_0013_0010__was_r_0013_0011__provided->r_0013_0009__none [arg1] z_000_13_a_major_case_32 r_0013_0010__was_r_0013_0011__provided->z_000_13_a_major_case_32 [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_6 That n13_a_major_case_9 clearly n13_a_major_case_11 calls n13_a_major_case_14 for n13_a_major_case_17 an n13_a_major_case_19 explanation n13_a_major_case_21 , n13_a_major_case_24 but n13_a_major_case_28 none n13_a_major_case_30 was n13_a_major_case_33 * n13_a_major_case_35 provided n13_a_major_case_37 . n13_a_major_case_1 IP-MAT n13_a_major_case_2 ILYR n13_a_major_case_1->n13_a_major_case_2 n13_a_major_case_36 PUNC n13_a_major_case_1->n13_a_major_case_36 n13_a_major_case_3 ILYR n13_a_major_case_2->n13_a_major_case_3 n13_a_major_case_20 PUNC n13_a_major_case_2->n13_a_major_case_20 n13_a_major_case_22 CONJP n13_a_major_case_2->n13_a_major_case_22 n13_a_major_case_4 NP-SBJ n13_a_major_case_3->n13_a_major_case_4 n13_a_major_case_7 ADVP-NIM n13_a_major_case_3->n13_a_major_case_7 n13_a_major_case_10 VBP;__ n13_a_major_case_3->n13_a_major_case_10 n13_a_major_case_12 PP-CLR n13_a_major_case_3->n13_a_major_case_12 n13_a_major_case_5 D;_nphd_ n13_a_major_case_4->n13_a_major_case_5 n13_a_major_case_5->n13_a_major_case_6 n13_a_major_case_8 ADV n13_a_major_case_7->n13_a_major_case_8 n13_a_major_case_8->n13_a_major_case_9 n13_a_major_case_10->n13_a_major_case_11 n13_a_major_case_13 P-ROLE n13_a_major_case_12->n13_a_major_case_13 n13_a_major_case_15 NP n13_a_major_case_12->n13_a_major_case_15 n13_a_major_case_13->n13_a_major_case_14 n13_a_major_case_16 D n13_a_major_case_15->n13_a_major_case_16 n13_a_major_case_18 N n13_a_major_case_15->n13_a_major_case_18 n13_a_major_case_16->n13_a_major_case_17 n13_a_major_case_18->n13_a_major_case_19 n13_a_major_case_20->n13_a_major_case_21 n13_a_major_case_23 CONJ n13_a_major_case_22->n13_a_major_case_23 n13_a_major_case_25 ILYR n13_a_major_case_22->n13_a_major_case_25 n13_a_major_case_23->n13_a_major_case_24 n13_a_major_case_26 NP-SBJ n13_a_major_case_25->n13_a_major_case_26 n13_a_major_case_29 BED;_cat_VePASS_ n13_a_major_case_25->n13_a_major_case_29 n13_a_major_case_31 IP-PPL-CAT n13_a_major_case_25->n13_a_major_case_31 n13_a_major_case_27 N n13_a_major_case_26->n13_a_major_case_27 n13_a_major_case_27->n13_a_major_case_28 n13_a_major_case_29->n13_a_major_case_30 n13_a_major_case_32 NP-LGS n13_a_major_case_31->n13_a_major_case_32 n13_a_major_case_34 VVN;__ n13_a_major_case_31->n13_a_major_case_34 n13_a_major_case_32->n13_a_major_case_33 n13_a_major_case_34->n13_a_major_case_35 n13_a_major_case_36->n13_a_major_case_37 
( (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))