( 3nf ( lnt t.l