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_3 But n17_a_fce_0102_2000_12_6 how n17_a_fce_0102_2000_12_8 ? n17_a_fce_0102_2000_12_1 FRAG n17_a_fce_0102_2000_12_2 CONJ n17_a_fce_0102_2000_12_1->n17_a_fce_0102_2000_12_2 n17_a_fce_0102_2000_12_4 ADVP-NIM n17_a_fce_0102_2000_12_1->n17_a_fce_0102_2000_12_4 n17_a_fce_0102_2000_12_7 PUNC n17_a_fce_0102_2000_12_1->n17_a_fce_0102_2000_12_7 n17_a_fce_0102_2000_12_2->n17_a_fce_0102_2000_12_3 n17_a_fce_0102_2000_12_5 WADV n17_a_fce_0102_2000_12_4->n17_a_fce_0102_2000_12_5 n17_a_fce_0102_2000_12_5->n17_a_fce_0102_2000_12_6 n17_a_fce_0102_2000_12_7->n17_a_fce_0102_2000_12_8 
( (FRAG (CONJ But;{but})
        (ADVP-NIM (WADV how;{how}))
        (PUNC ?))
  (ID 17_a_fce_0102_2000_12))