Context                Previous, Next                Top


17_a_fce_0102_2000_12
But how?

%3 r_0017_0001__But But r_0017_0002__how how r_0017_0001__But->r_0017_0002__how [nim] 
arc(r_0017_0001__But, r_0017_0002__how, nim4).


%3 r_0017_0001__But But r_0017_0002__how how r_0017_0001__But->r_0017_0002__how [nim] 
fof(formula,axiom,
    ? [R_17_1_BUT,R_17_2_HOW] :
      ( how(R_17_2_HOW)
      & but(R_17_1_BUT)
      & nim4(R_17_1_BUT,R_17_2_HOW) ) ).


n17_a_fce_0102_2000_12 n17_a_fce_0102_2000_12__1_1_1 But n17_a_fce_0102_2000_12__1_2_1_1 how n17_a_fce_0102_2000_12__1_3_1 ? n17_a_fce_0102_2000_12__1 FRAG n17_a_fce_0102_2000_12__1_1 CONJ n17_a_fce_0102_2000_12__1->n17_a_fce_0102_2000_12__1_1 n17_a_fce_0102_2000_12__1_2 ADVP-NIM n17_a_fce_0102_2000_12__1->n17_a_fce_0102_2000_12__1_2 n17_a_fce_0102_2000_12__1_3 PUNC n17_a_fce_0102_2000_12__1->n17_a_fce_0102_2000_12__1_3 n17_a_fce_0102_2000_12__1_1->n17_a_fce_0102_2000_12__1_1_1 n17_a_fce_0102_2000_12__1_2_1 WADV n17_a_fce_0102_2000_12__1_2->n17_a_fce_0102_2000_12__1_2_1 n17_a_fce_0102_2000_12__1_2_1->n17_a_fce_0102_2000_12__1_2_1_1 n17_a_fce_0102_2000_12__1_3->n17_a_fce_0102_2000_12__1_3_1 
( (FRAG (CONJ But;{but})
        (ADVP-NIM (WADV how;{how}))
        (PUNC ?))
  (ID 17_a_fce_0102_2000_12))