infernece rules formatting update