First attempt for FOL formula generator