( 3nf ( tnbt .)