Cnf parsing for FO sentence is finally done