fixing last inference rule syntax