Logic-based regulation compliance-assistance · Study