minor typo mod. Reformatted the datalog rules