arff file name as formal attribute