Context                Previous, Next                Top


17_a_fce_0102_2000_12
But 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))


%3 z_0017_5002 r_0017_0002__how how z_0017_5002->r_0017_0002__how [nim] 
arc(z_0017_5002,r_0017_0002__how,nim).


%3 z_0017_5002 r_0017_0002__how how z_0017_5002->r_0017_0002__how [nim] 
fof(formula,axiom,
    ? [R_0017_0002__HOW,Z_0017_5002] :
      ( r_0017_0002__how(R_0017_0002__HOW)
      & z_0017_5002(Z_0017_5002)
      & has_nim(Z_0017_5002,R_0017_0002__HOW) ) ).