results for FORmula TRANslation