DatalogRA definition fixes.
DatalogRA definition fixes.
Formatting fixes.