Rule-based compliance-checking system developed at CSIRO around 2015.
Seems kind of dead now. Was it superceded (or made irrelevant) by RuleRS?