Added random FOL Generator