added a lower order version of the mocked up datalog model.