Simplified the syntax of FOL and action generation