working fol_parser for formatted statements. can be used to parse rules